there is something such that it is cholinergic and guarantees phase.
sent1: if something is ecclesiastical then it does guarantee phase. sent2: the chronograph is transcultural. sent3: the gladdon guarantees phase. sent4: the chronograph is a kind of transcultural thing that is tame. sent5: something is cholinergic and it is transcultural if it does not guarantee phase. sent6: there exists something such that that it does guarantee phase hold. sent7: if the raftsman is Galwegian it is ecclesiastical. sent8: there is something such that it is cholinergic. sent9: the chronograph is Galwegian. sent10: the raftsman is unworthy. sent11: something is Galwegian if it does guarantee phase. sent12: that the canonist is transcultural is not wrong. sent13: the raftsman is Galwegian. sent14: there exists something such that it tames.
sent4 -> int1: the chronograph does tame.; sent1 -> int2: if the raftsman is ecclesiastical then it guarantees phase.; sent7 & sent13 -> int3: the raftsman is ecclesiastical.; int2 & int3 -> int4: the raftsman guarantees phase.;
the raftsman does tame.
sent5 -> int5: the chronograph is cholinergic thing that is transcultural if it does not guarantee phase.;
$hypothesis$ = there is something such that it is cholinergic and guarantees phase. ; $context$ = sent1: if something is ecclesiastical then it does guarantee phase. sent2: the chronograph is transcultural. sent3: the gladdon guarantees phase. sent4: the chronograph is a kind of transcultural thing that is tame. sent5: something is cholinergic and it is transcultural if it does not guarantee phase. sent6: there exists something such that that it does guarantee phase hold. sent7: if the raftsman is Galwegian it is ecclesiastical. sent8: there is something such that it is cholinergic. sent9: the chronograph is Galwegian. sent10: the raftsman is unworthy. sent11: something is Galwegian if it does guarantee phase. sent12: that the canonist is transcultural is not wrong. sent13: the raftsman is Galwegian. sent14: there exists something such that it tames. ; $proof$ = 
sent4 -> int1: the chronograph does tame.; sent1 -> int2: if the raftsman is ecclesiastical then it guarantees phase.; sent7 & sent13 -> int3: the raftsman is ecclesiastical.; int2 & int3 -> int4: the raftsman guarantees phase.; __UNKNOWN__