「もし仮に「あの通信形態は洋紙だ」ということは嘘でないとするとそのロマンは付与する」ということは事実でない
fact1: その支離滅裂は受け辛い fact2: あの通信形態が付与するとするとそのロマンは洋紙である fact3: その支離滅裂は洋紙である fact4: もし仮に「なにかは比較検討であるがしかし根深くない」ということは成り立たないとすれば捻出しない fact5: もし仮に「あの通信形態は受け辛くない」ということは成り立たないとすればそのロマンは付与する fact6: 「そのウェブ利用は一般競争入札である」ということは偽である fact7: もし「そのロマンは第一次石油危機時だしその上則る」ということは間違いだとしたら則るということはない fact8: もし仮にとある物が付与するとすればそれは洋紙でないしそれは受け辛い fact9: そのロマンは洋紙だ fact10: もしあの通信形態が洋紙でないけど受け辛いとしたらこの犬一体は洋紙である fact11: 仮にあの通信形態が洋紙ならそれは受け辛い fact12: もし仮に「一般競争入札でない」ものはあるとすると「その三人姉弟は比較検討だ一方で根深くない」ということは成り立たない fact13: 「あの通信形態は付与する」ということは正しいとしたら「そのロマンは受け辛い」ということは成り立つ fact14: とある物は捻出するということはないとすると「「そのロマンは第一次石油危機時であるしかつ則る」ということは成り立つ」ということは間違っている fact15: 仮にそのロマンが受け辛いとするとあの通信形態は付与する
void -> assump1: 以下のように仮定する。あの通信形態は洋紙である; fact11 & assump1 -> int1: あの通信形態は受け辛い; int1 & fact5 -> int2: そのロマンは付与する; [assump1] & int2 -> hypothesis;
「この犬一体は洋紙である」ということは真実である
fact18 -> int3: あの通信形態が付与するとしたらそれは洋紙でないけど受け辛い; fact19 -> int4: もしも「その三人姉弟は比較検討であるけれど根深くない」ということは間違っているとしたらそれは捻出しない; fact21 -> int5: 「一般競争入札でない」ものはある; int5 & fact22 -> int6: 「その三人姉弟は比較検討であるがしかし根深くない」ということは間違いだ; int4 & int6 -> int7: その三人姉弟は捻出しない; int7 -> int8: 「捻出しない」物はある; int8 & fact17 -> int9: 「そのロマンが第一次石油危機時だしおまけにそれは則る」ということは間違いだ; fact20 & int9 -> int10: そのロマンは則らない; int10 -> int11: なんらかの物は則らない;
$facts$ = fact1: その支離滅裂は受け辛い fact2: あの通信形態が付与するとするとそのロマンは洋紙である fact3: その支離滅裂は洋紙である fact4: もし仮に「なにかは比較検討であるがしかし根深くない」ということは成り立たないとすれば捻出しない fact5: もし仮に「あの通信形態は受け辛くない」ということは成り立たないとすればそのロマンは付与する fact6: 「そのウェブ利用は一般競争入札である」ということは偽である fact7: もし「そのロマンは第一次石油危機時だしその上則る」ということは間違いだとしたら則るということはない fact8: もし仮にとある物が付与するとすればそれは洋紙でないしそれは受け辛い fact9: そのロマンは洋紙だ fact10: もしあの通信形態が洋紙でないけど受け辛いとしたらこの犬一体は洋紙である fact11: 仮にあの通信形態が洋紙ならそれは受け辛い fact12: もし仮に「一般競争入札でない」ものはあるとすると「その三人姉弟は比較検討だ一方で根深くない」ということは成り立たない fact13: 「あの通信形態は付与する」ということは正しいとしたら「そのロマンは受け辛い」ということは成り立つ fact14: とある物は捻出するということはないとすると「「そのロマンは第一次石油危機時であるしかつ則る」ということは成り立つ」ということは間違っている fact15: 仮にそのロマンが受け辛いとするとあの通信形態は付与する ; $hypothesis$ = 「もし仮に「あの通信形態は洋紙だ」ということは嘘でないとするとそのロマンは付与する」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの通信形態は洋紙である; fact11 & assump1 -> int1: あの通信形態は受け辛い; int1 & fact5 -> int2: そのロマンは付与する; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: その支離滅裂は受け辛い
事実2: あの通信形態が付与するとするとそのロマンは洋紙である
事実3: その支離滅裂は洋紙である
事実4: もし仮に「なにかは比較検討であるがしかし根深くない」ということは成り立たないとすれば捻出しない
事実5: もし仮に「あの通信形態は受け辛くない」ということは成り立たないとすればそのロマンは付与する
事実6: 「そのウェブ利用は一般競争入札である」ということは偽である
事実7: もし「そのロマンは第一次石油危機時だしその上則る」ということは間違いだとしたら則るということはない
事実8: もし仮にとある物が付与するとすればそれは洋紙でないしそれは受け辛い
事実9: そのロマンは洋紙だ
事実10: もしあの通信形態が洋紙でないけど受け辛いとしたらこの犬一体は洋紙である
事実11: 仮にあの通信形態が洋紙ならそれは受け辛い
事実12: もし仮に「一般競争入札でない」ものはあるとすると「その三人姉弟は比較検討だ一方で根深くない」ということは成り立たない
事実13: 「あの通信形態は付与する」ということは正しいとしたら「そのロマンは受け辛い」ということは成り立つ
事実14: とある物は捻出するということはないとすると「「そのロマンは第一次石油危機時であるしかつ則る」ということは成り立つ」ということは間違っている
事実15: 仮にそのロマンが受け辛いとするとあの通信形態は付与する

仮説: 「もし仮に「あの通信形態は洋紙だ」ということは嘘でないとするとそのロマンは付与する」ということは事実でない
1. 仮定1: 以下のように仮定する。あの通信形態は洋紙である
2. 事実11と仮定1から、推論1: "あの通信形態は受け辛い"が導かれる
3. 推論1と事実5から、推論2: "そのロマンは付与する"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。