「「その流れ者は浅くない一方で日本語教室である」ということは確かである」ということは成り立たない
fact1: もし仮にこのポールピースが消化し易くないならばその流れ者は怠くらないけど寒し fact2: もしもその流れ者が怠くらないがしかしそれが寒しならあの十二章は日本語教室でない fact3: もし仮にその流れ者が浅くないがしかし日本語教室であるとすればこのポールピースは怠いということはない fact4: もし仮にその流れ者が浅くてまた日本語教室であるとするとこのポールピースは怠いということはない fact5: この著は第五十七号証でない fact6: この著がファム・ファタールでないけど消化し易いとするとこのポールピースは消化し易くない fact7: 「その流れ者は浅くてさらにそれは日本語教室だ」ということは成り立たない fact8: 「この著は意地悪くないがしかしファム・ファタールだ」ということは事実と異なる fact9: もしもこの蛾ウナが焦らすということはなくてそれが悔しくないとするとあの十二章は焦らす fact10: このポールピースは怠い fact11: 仮にこの著は第五十七号証でないとしたらそれは消化し易いし色好い fact12: もしも「この著は意地悪くないけれどファム・ファタールだ」ということは事実でないならばファム・ファタールでない fact13: 仮に「「静まり掛けるし寝巻き姿でない」ということは誤りな」物はあるなら「この蛾ウナは焦らすということはない」ということは成り立つ fact14: もし仮にあるものは突き崩さないとすれば「悔しい一方で抱き締めない」ということは成り立たない fact15: 「この補助行為は静まり掛けるがしかし寝巻き姿でない」ということは間違いだ
void -> assump1: 以下のように仮定する。その流れ者は浅くないけど日本語教室である; fact3 & assump1 -> int1: このポールピースは怠くらない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact3 & assump1 -> int1: ¬{B}{b}; int1 & fact10 -> int2: #F#; [assump1] & int2 -> hypothesis;
あの十二章は日本語教室でないけれど焦らす
fact23 & fact19 -> int3: この著はファム・ファタールでない; fact25 & fact22 -> int4: この著は消化し易くてそれは色好い; int4 -> int5: この著は消化し易い; int3 & int5 -> int6: この著はファム・ファタールでないけれどそれは消化し易い; fact20 & int6 -> int7: このポールピースは消化し易くない; fact18 & int7 -> int8: その流れ者は怠くらないけど寒し; fact17 & int8 -> int9: 「あの十二章は日本語教室でない」ということは事実だ; fact16 -> int10: 「「静まり掛けるが寝巻き姿でない」ということは誤りな」物はある; int10 & fact24 -> int11: この蛾ウナは焦らさない; fact26 -> int12: この候補地は突き崩さないなら「それが悔しいしその上抱き締めない」ということは成り立つということはない;
$facts$ = fact1: もし仮にこのポールピースが消化し易くないならばその流れ者は怠くらないけど寒し fact2: もしもその流れ者が怠くらないがしかしそれが寒しならあの十二章は日本語教室でない fact3: もし仮にその流れ者が浅くないがしかし日本語教室であるとすればこのポールピースは怠いということはない fact4: もし仮にその流れ者が浅くてまた日本語教室であるとするとこのポールピースは怠いということはない fact5: この著は第五十七号証でない fact6: この著がファム・ファタールでないけど消化し易いとするとこのポールピースは消化し易くない fact7: 「その流れ者は浅くてさらにそれは日本語教室だ」ということは成り立たない fact8: 「この著は意地悪くないがしかしファム・ファタールだ」ということは事実と異なる fact9: もしもこの蛾ウナが焦らすということはなくてそれが悔しくないとするとあの十二章は焦らす fact10: このポールピースは怠い fact11: 仮にこの著は第五十七号証でないとしたらそれは消化し易いし色好い fact12: もしも「この著は意地悪くないけれどファム・ファタールだ」ということは事実でないならばファム・ファタールでない fact13: 仮に「「静まり掛けるし寝巻き姿でない」ということは誤りな」物はあるなら「この蛾ウナは焦らすということはない」ということは成り立つ fact14: もし仮にあるものは突き崩さないとすれば「悔しい一方で抱き締めない」ということは成り立たない fact15: 「この補助行為は静まり掛けるがしかし寝巻き姿でない」ということは間違いだ ; $hypothesis$ = 「「その流れ者は浅くない一方で日本語教室である」ということは確かである」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その流れ者は浅くないけど日本語教室である; fact3 & assump1 -> int1: このポールピースは怠くらない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にこのポールピースが消化し易くないならばその流れ者は怠くらないけど寒し
事実2: もしもその流れ者が怠くらないがしかしそれが寒しならあの十二章は日本語教室でない
事実3: もし仮にその流れ者が浅くないがしかし日本語教室であるとすればこのポールピースは怠いということはない
事実4: もし仮にその流れ者が浅くてまた日本語教室であるとするとこのポールピースは怠いということはない
事実5: この著は第五十七号証でない
事実6: この著がファム・ファタールでないけど消化し易いとするとこのポールピースは消化し易くない
事実7: 「その流れ者は浅くてさらにそれは日本語教室だ」ということは成り立たない
事実8: 「この著は意地悪くないがしかしファム・ファタールだ」ということは事実と異なる
事実9: もしもこの蛾ウナが焦らすということはなくてそれが悔しくないとするとあの十二章は焦らす
事実10: このポールピースは怠い
事実11: 仮にこの著は第五十七号証でないとしたらそれは消化し易いし色好い
事実12: もしも「この著は意地悪くないけれどファム・ファタールだ」ということは事実でないならばファム・ファタールでない
事実13: 仮に「「静まり掛けるし寝巻き姿でない」ということは誤りな」物はあるなら「この蛾ウナは焦らすということはない」ということは成り立つ
事実14: もし仮にあるものは突き崩さないとすれば「悔しい一方で抱き締めない」ということは成り立たない
事実15: 「この補助行為は静まり掛けるがしかし寝巻き姿でない」ということは間違いだ

仮説: 「「その流れ者は浅くない一方で日本語教室である」ということは確かである」ということは成り立たない
1. 仮定1: 以下のように仮定する。その流れ者は浅くないけど日本語教室である
2. 事実3と仮定1から、推論1: "このポールピースは怠くらない"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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