その三本マストは歌い終えない
fact1: あるものは這い上るということはないとすると「それは建立するしそれにそれは歌い終えない」ということは成り立たない fact2: もし仮にその上場時が主張立証するしおまけに不味いならサービス体系だということはない fact3: その普通商人は歌い終えれば「「それはサービス体系でないし不味いということはない」ということは真実だ」ということは偽だ fact4: もしその上場時は建立するとしたら「その箱式石棺は建立するということはないけれどサービス体系だ」ということは間違いだ fact5: 「その上場時は優等生だしさらに宣する」ということは間違いだ fact6: もし「その上場時は優等生であるしかつ宣する」ということは真実でないとすれば優等生でない fact7: 仮にその上場時は建立するとすると「その箱式石棺は建立しなくてそれにサービス体系だということはない」ということは確かでない fact8: もしも「とあるものは建立するけれど歌い終えない」ということは成り立たないならば「それは歌い終える」ということは成り立つ fact9: その普通商人は歌い終える fact10: もしもその箱式石棺が倹しかないとしたら建立する一方で主張立証しない fact11: その上場時は主張立証する fact12: もし仮に「その箱式石棺は建立しなくてサービス体系でない」ということは確かでないとしたらその三本マストは歌い終えない fact13: もしも「建立する」物があるとするとその上場時は建立するかまたは這い上るかあるいはどちらもだ fact14: もし仮になにがしかの物は優等生でないなら不味いし更に倹しい fact15: その上場時は建立するしかつ這い上る
fact15 -> int1: その上場時は建立する; int1 & fact7 -> int2: 「その箱式石棺は建立するということはないしかつサービス体系であるということはない」ということは正しくない; int2 & fact12 -> hypothesis;
fact15 -> int1: {A}{a}; int1 & fact7 -> int2: ¬(¬{A}{b} & ¬{C}{b}); int2 & fact12 -> hypothesis;
「その三本マストは歌い終える」ということは真実である
fact22 -> int3: 仮に「その三本マストは建立するが歌い終えない」ということは誤っているとすれば歌い終える; fact20 -> int4: その三本マストは這い上らないなら「それは建立するしかつ歌い終えない」ということは確かでない; fact21 -> int5: 仮にその上場時が優等生でないとすると不味いし倹しい; fact17 & fact19 -> int6: その上場時は優等生でない; int5 & int6 -> int7: その上場時は不味いし倹しい; int7 -> int8: 「その上場時は不味い」ということは確かだ; fact16 & int8 -> int9: その上場時は主張立証するしその上不味い; fact18 & int9 -> int10: その上場時はサービス体系でない; int10 -> int11: 「サービス体系であるということはない」ものはある;
$facts$ = fact1: あるものは這い上るということはないとすると「それは建立するしそれにそれは歌い終えない」ということは成り立たない fact2: もし仮にその上場時が主張立証するしおまけに不味いならサービス体系だということはない fact3: その普通商人は歌い終えれば「「それはサービス体系でないし不味いということはない」ということは真実だ」ということは偽だ fact4: もしその上場時は建立するとしたら「その箱式石棺は建立するということはないけれどサービス体系だ」ということは間違いだ fact5: 「その上場時は優等生だしさらに宣する」ということは間違いだ fact6: もし「その上場時は優等生であるしかつ宣する」ということは真実でないとすれば優等生でない fact7: 仮にその上場時は建立するとすると「その箱式石棺は建立しなくてそれにサービス体系だということはない」ということは確かでない fact8: もしも「とあるものは建立するけれど歌い終えない」ということは成り立たないならば「それは歌い終える」ということは成り立つ fact9: その普通商人は歌い終える fact10: もしもその箱式石棺が倹しかないとしたら建立する一方で主張立証しない fact11: その上場時は主張立証する fact12: もし仮に「その箱式石棺は建立しなくてサービス体系でない」ということは確かでないとしたらその三本マストは歌い終えない fact13: もしも「建立する」物があるとするとその上場時は建立するかまたは這い上るかあるいはどちらもだ fact14: もし仮になにがしかの物は優等生でないなら不味いし更に倹しい fact15: その上場時は建立するしかつ這い上る ; $hypothesis$ = その三本マストは歌い終えない ; $proof$ = 
fact15 -> int1: その上場時は建立する; int1 & fact7 -> int2: 「その箱式石棺は建立するということはないしかつサービス体系であるということはない」ということは正しくない; int2 & fact12 -> hypothesis; __PROVED__
事実1: あるものは這い上るということはないとすると「それは建立するしそれにそれは歌い終えない」ということは成り立たない
事実2: もし仮にその上場時が主張立証するしおまけに不味いならサービス体系だということはない
事実3: その普通商人は歌い終えれば「「それはサービス体系でないし不味いということはない」ということは真実だ」ということは偽だ
事実4: もしその上場時は建立するとしたら「その箱式石棺は建立するということはないけれどサービス体系だ」ということは間違いだ
事実5: 「その上場時は優等生だしさらに宣する」ということは間違いだ
事実6: もし「その上場時は優等生であるしかつ宣する」ということは真実でないとすれば優等生でない
事実7: 仮にその上場時は建立するとすると「その箱式石棺は建立しなくてそれにサービス体系だということはない」ということは確かでない
事実8: もしも「とあるものは建立するけれど歌い終えない」ということは成り立たないならば「それは歌い終える」ということは成り立つ
事実9: その普通商人は歌い終える
事実10: もしもその箱式石棺が倹しかないとしたら建立する一方で主張立証しない
事実11: その上場時は主張立証する
事実12: もし仮に「その箱式石棺は建立しなくてサービス体系でない」ということは確かでないとしたらその三本マストは歌い終えない
事実13: もしも「建立する」物があるとするとその上場時は建立するかまたは這い上るかあるいはどちらもだ
事実14: もし仮になにがしかの物は優等生でないなら不味いし更に倹しい
事実15: その上場時は建立するしかつ這い上る

仮説: その三本マストは歌い終えない
1. 事実15から、推論1: "その上場時は建立する"が導かれる
2. 推論1と事実7から、推論2: "「その箱式石棺は建立するということはないしかつサービス体系であるということはない」ということは正しくない"が導かれる
3. 推論2と事実12から、仮説が導かれる

よって、仮説が証明されました。