「「捻出するけど戻り易くない」ということは成り立たない」物はある
fact1: 「「倹しかないし加えて諸士である」ということは間違いな」ものがあるとするとそのカリキュラム改革は侵入出来ない fact2: 戻り易い物は捻出しないが積極的平和である fact3: 審理対象は書き添える fact4: その画像サイズが捻出するということはないけど積極的平和ならばあの当艦は積極的平和だということはない fact5: 「そのカリキュラム改革は政策路線だしさらに溜め込み易い」ということは嘘だとするとそれは政策路線でない fact6: 「「倹しかないが諸士だ」ということは嘘である」物はある fact7: あの投機購買は塗り残しでない fact8: 「「積極的平和でない」ということは確かな」物はある fact9: もしもあの投機購買は塗り残しでないとしたら「そのカリキュラム改革が政策路線だしかつそれは溜め込み易い」ということは嘘である fact10: もしもあの当艦は積極的平和であるということはないとすれば「あの独立は篩だが脱ぐということはない」ということは誤りである fact11: 仮にとある物が書き添えるなら戻り易い fact12: もし「譲渡等でない」物はあるとすれば「この体感温度は積極的平和であるし加えてそれは千九百九十年代中頃である」ということは間違いだ fact13: 仮に「積極的平和であるということはない」物はあるとすれば「あの独立は捻出するけれど戻り易いということはない」ということは成り立たない
fact8 & fact13 -> int1: 「「あの独立は捻出する一方でそれは戻り易くない」ということは間違っていない」ということは誤りである; int1 -> hypothesis;
「「篩だが脱がない」ということは成り立たない」物はある
fact18 -> int2: もしその画像サイズが戻り易いとしたら捻出しない一方で積極的平和だ; fact20 -> int3: もしその画像サイズが書き添えるとするとそれは戻り易い; fact14 -> int4: 仮に「その画像サイズは審理対象である」ということは事実だとしたら書き添える; fact21 & fact17 -> int5: 「そのカリキュラム改革は政策路線であるし溜め込み易い」ということは事実と異なる; fact23 & int5 -> int6: そのカリキュラム改革は政策路線であるということはない; fact22 & fact16 -> int7: そのカリキュラム改革は侵入出来ない; int6 & int7 -> int8: そのカリキュラム改革は政策路線でないしそれにそれは侵入出来ない; int8 -> int9: なんらかの物は政策路線でなくてまた侵入出来ない;
$facts$ = fact1: 「「倹しかないし加えて諸士である」ということは間違いな」ものがあるとするとそのカリキュラム改革は侵入出来ない fact2: 戻り易い物は捻出しないが積極的平和である fact3: 審理対象は書き添える fact4: その画像サイズが捻出するということはないけど積極的平和ならばあの当艦は積極的平和だということはない fact5: 「そのカリキュラム改革は政策路線だしさらに溜め込み易い」ということは嘘だとするとそれは政策路線でない fact6: 「「倹しかないが諸士だ」ということは嘘である」物はある fact7: あの投機購買は塗り残しでない fact8: 「「積極的平和でない」ということは確かな」物はある fact9: もしもあの投機購買は塗り残しでないとしたら「そのカリキュラム改革が政策路線だしかつそれは溜め込み易い」ということは嘘である fact10: もしもあの当艦は積極的平和であるということはないとすれば「あの独立は篩だが脱ぐということはない」ということは誤りである fact11: 仮にとある物が書き添えるなら戻り易い fact12: もし「譲渡等でない」物はあるとすれば「この体感温度は積極的平和であるし加えてそれは千九百九十年代中頃である」ということは間違いだ fact13: 仮に「積極的平和であるということはない」物はあるとすれば「あの独立は捻出するけれど戻り易いということはない」ということは成り立たない ; $hypothesis$ = 「「捻出するけど戻り易くない」ということは成り立たない」物はある ; $proof$ = 
fact8 & fact13 -> int1: 「「あの独立は捻出する一方でそれは戻り易くない」ということは間違っていない」ということは誤りである; int1 -> hypothesis; __PROVED__
事実1: 「「倹しかないし加えて諸士である」ということは間違いな」ものがあるとするとそのカリキュラム改革は侵入出来ない
事実2: 戻り易い物は捻出しないが積極的平和である
事実3: 審理対象は書き添える
事実4: その画像サイズが捻出するということはないけど積極的平和ならばあの当艦は積極的平和だということはない
事実5: 「そのカリキュラム改革は政策路線だしさらに溜め込み易い」ということは嘘だとするとそれは政策路線でない
事実6: 「「倹しかないが諸士だ」ということは嘘である」物はある
事実7: あの投機購買は塗り残しでない
事実8: 「「積極的平和でない」ということは確かな」物はある
事実9: もしもあの投機購買は塗り残しでないとしたら「そのカリキュラム改革が政策路線だしかつそれは溜め込み易い」ということは嘘である
事実10: もしもあの当艦は積極的平和であるということはないとすれば「あの独立は篩だが脱ぐということはない」ということは誤りである
事実11: 仮にとある物が書き添えるなら戻り易い
事実12: もし「譲渡等でない」物はあるとすれば「この体感温度は積極的平和であるし加えてそれは千九百九十年代中頃である」ということは間違いだ
事実13: 仮に「積極的平和であるということはない」物はあるとすれば「あの独立は捻出するけれど戻り易いということはない」ということは成り立たない

仮説: 「「捻出するけど戻り易くない」ということは成り立たない」物はある
1. 事実8と事実13から、推論1: "「「あの独立は捻出する一方でそれは戻り易くない」ということは間違っていない」ということは誤りである"が導かれる
2. 推論1から、仮説が導かれる

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