その製造ラインは下がるしさらにそれは連続する
fact1: 仮にあるものは自己矛盾だということはないとすれば「下がるし連続する」ということは真実でない fact2: あの七条解散は連続する fact3: あの南緯は下がる fact4: その製造ラインは避けるしまた掛かり易い fact5: 「その文化施設は詳報でないしそれに壊れ易くない」ということは事実と異なるとしたらあのクリスマスカードは詳報でない fact6: あの経済的ロット量が脱税事件だしその上自己矛盾である fact7: あの複眼は下がる fact8: あの赤軍は下がる fact9: その製造ラインは自己矛盾だ fact10: その製造ラインは破棄するしさらに可視化観察する fact11: その製造ラインは連続するし避ける fact12: その製造ラインは御存じ無い fact13: その製造ラインは自己矛盾でおまけに下がる fact14: その製造ラインは自己矛盾であるし加えて近付き難い fact15: この永代供養墓は連続するしかつ黒い fact16: その製造ラインは避ける fact17: 仮にあのクリスマスカードは詳報でないならば「そのペンネームは取り引き社会であるが避けない」ということは成り立たない
fact13 -> int1: その製造ラインは下がる; fact11 -> int2: その製造ラインは連続する; int1 & int2 -> hypothesis;
あの赤軍は下がるしそれに探し易い
$facts$ = fact1: 仮にあるものは自己矛盾だということはないとすれば「下がるし連続する」ということは真実でない fact2: あの七条解散は連続する fact3: あの南緯は下がる fact4: その製造ラインは避けるしまた掛かり易い fact5: 「その文化施設は詳報でないしそれに壊れ易くない」ということは事実と異なるとしたらあのクリスマスカードは詳報でない fact6: あの経済的ロット量が脱税事件だしその上自己矛盾である fact7: あの複眼は下がる fact8: あの赤軍は下がる fact9: その製造ラインは自己矛盾だ fact10: その製造ラインは破棄するしさらに可視化観察する fact11: その製造ラインは連続するし避ける fact12: その製造ラインは御存じ無い fact13: その製造ラインは自己矛盾でおまけに下がる fact14: その製造ラインは自己矛盾であるし加えて近付き難い fact15: この永代供養墓は連続するしかつ黒い fact16: その製造ラインは避ける fact17: 仮にあのクリスマスカードは詳報でないならば「そのペンネームは取り引き社会であるが避けない」ということは成り立たない ; $hypothesis$ = その製造ラインは下がるしさらにそれは連続する ; $proof$ = 
fact13 -> int1: その製造ラインは下がる; fact11 -> int2: その製造ラインは連続する; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあるものは自己矛盾だということはないとすれば「下がるし連続する」ということは真実でない
事実2: あの七条解散は連続する
事実3: あの南緯は下がる
事実4: その製造ラインは避けるしまた掛かり易い
事実5: 「その文化施設は詳報でないしそれに壊れ易くない」ということは事実と異なるとしたらあのクリスマスカードは詳報でない
事実6: あの経済的ロット量が脱税事件だしその上自己矛盾である
事実7: あの複眼は下がる
事実8: あの赤軍は下がる
事実9: その製造ラインは自己矛盾だ
事実10: その製造ラインは破棄するしさらに可視化観察する
事実11: その製造ラインは連続するし避ける
事実12: その製造ラインは御存じ無い
事実13: その製造ラインは自己矛盾でおまけに下がる
事実14: その製造ラインは自己矛盾であるし加えて近付き難い
事実15: この永代供養墓は連続するしかつ黒い
事実16: その製造ラインは避ける
事実17: 仮にあのクリスマスカードは詳報でないならば「そのペンネームは取り引き社会であるが避けない」ということは成り立たない

仮説: その製造ラインは下がるしさらにそれは連続する
1. 事実13から、推論1: "その製造ラインは下がる"が導かれる
2. 事実11から、推論2: "その製造ラインは連続する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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