「「その黄巾は香り立たないがしかし好もしい」ということは正しい」ということは成り立たない
fact1: もしなにかは分け与えるとするとそれは同じくする fact2: もしもその黄巾は同じくくないとすると「その自治法上は香り立つしその上好もしい」ということは誤りだ fact3: 「「結び直すししかも後援しない」ということは間違いである」ものはある fact4: もしもある物が避難所だということはないとしたら同じくするしまたそれは分け与える fact5: もしもとあるものが減じるとすればそれは激しくないか避難所であるということはないかまたは両方である fact6: もしその黄巾は好もしかないなら「その自治法上は香り立つし同じくする」ということは事実と異なる fact7: なにかは同じくするとするとその自治法上は好もしかない fact8: 「「同じくしないし好もしかない」ということは誤っている」ものがあるとするとその黄巾は香り立つということはない fact9: 何らかの物は坐す fact10: 「「結び直すということはなくてしかも後援しない」ということは成り立たない」物はある fact11: もしその自治法上は同じくしないならば「その黄巾は香り立たないけれど好もしい」ということは誤りだ fact12: 仮にその自治法上は同じくするとすれば「その黄巾は香り立たないが好もしい」ということは成り立つ fact13: 仮になにかは後援するとしたらその自治法上は同じくするということはない fact14: 「その黄巾は香り立つしかつ好もしい」ということは誤っている fact15: 「「香り立たないしそれに同じくしない」ということは成り立つということはない」物はある fact16: すべては照るしそれに減じない fact17: ある物は結び直さないししかも後援しない fact18: 仮にその自治法上は同じくしないなら「その黄巾は香り立つしさらに好もしい」ということは間違いである fact19: もし「あの面談は坐さないけど照る」ということは間違っているならあの細胞プロセスは減じる fact20: もしその黄巾は同じくしないならば「その自治法上は好もしいし香り立つ」ということは成り立たない fact21: もしも「「結び直さなくて後援しない」ということは成り立たない」物があるならその自治法上は同じくしない fact22: もし何かは照る一方でそれが減じないとしたらそれは激しくない
fact10 & fact21 -> int1: その自治法上は同じくしない; int1 & fact11 -> hypothesis;
その黄巾は香り立たないがそれは好もしい
fact23 -> int2: その自治法上が分け与えるとすると同じくする; fact25 -> int3: 仮にあの細胞プロセスは照るがしかし減じるということはないならそれは激しくない; fact24 -> int4: あの細胞プロセスは照るけれど減じない; int3 & int4 -> int5: あの細胞プロセスは激しくない; int5 -> int6: なんらかの物は激しいということはない;
$facts$ = fact1: もしなにかは分け与えるとするとそれは同じくする fact2: もしもその黄巾は同じくくないとすると「その自治法上は香り立つしその上好もしい」ということは誤りだ fact3: 「「結び直すししかも後援しない」ということは間違いである」ものはある fact4: もしもある物が避難所だということはないとしたら同じくするしまたそれは分け与える fact5: もしもとあるものが減じるとすればそれは激しくないか避難所であるということはないかまたは両方である fact6: もしその黄巾は好もしかないなら「その自治法上は香り立つし同じくする」ということは事実と異なる fact7: なにかは同じくするとするとその自治法上は好もしかない fact8: 「「同じくしないし好もしかない」ということは誤っている」ものがあるとするとその黄巾は香り立つということはない fact9: 何らかの物は坐す fact10: 「「結び直すということはなくてしかも後援しない」ということは成り立たない」物はある fact11: もしその自治法上は同じくしないならば「その黄巾は香り立たないけれど好もしい」ということは誤りだ fact12: 仮にその自治法上は同じくするとすれば「その黄巾は香り立たないが好もしい」ということは成り立つ fact13: 仮になにかは後援するとしたらその自治法上は同じくするということはない fact14: 「その黄巾は香り立つしかつ好もしい」ということは誤っている fact15: 「「香り立たないしそれに同じくしない」ということは成り立つということはない」物はある fact16: すべては照るしそれに減じない fact17: ある物は結び直さないししかも後援しない fact18: 仮にその自治法上は同じくしないなら「その黄巾は香り立つしさらに好もしい」ということは間違いである fact19: もし「あの面談は坐さないけど照る」ということは間違っているならあの細胞プロセスは減じる fact20: もしその黄巾は同じくしないならば「その自治法上は好もしいし香り立つ」ということは成り立たない fact21: もしも「「結び直さなくて後援しない」ということは成り立たない」物があるならその自治法上は同じくしない fact22: もし何かは照る一方でそれが減じないとしたらそれは激しくない ; $hypothesis$ = 「「その黄巾は香り立たないがしかし好もしい」ということは正しい」ということは成り立たない ; $proof$ = 
fact10 & fact21 -> int1: その自治法上は同じくしない; int1 & fact11 -> hypothesis; __PROVED__
事実1: もしなにかは分け与えるとするとそれは同じくする
事実2: もしもその黄巾は同じくくないとすると「その自治法上は香り立つしその上好もしい」ということは誤りだ
事実3: 「「結び直すししかも後援しない」ということは間違いである」ものはある
事実4: もしもある物が避難所だということはないとしたら同じくするしまたそれは分け与える
事実5: もしもとあるものが減じるとすればそれは激しくないか避難所であるということはないかまたは両方である
事実6: もしその黄巾は好もしかないなら「その自治法上は香り立つし同じくする」ということは事実と異なる
事実7: なにかは同じくするとするとその自治法上は好もしかない
事実8: 「「同じくしないし好もしかない」ということは誤っている」ものがあるとするとその黄巾は香り立つということはない
事実9: 何らかの物は坐す
事実10: 「「結び直すということはなくてしかも後援しない」ということは成り立たない」物はある
事実11: もしその自治法上は同じくしないならば「その黄巾は香り立たないけれど好もしい」ということは誤りだ
事実12: 仮にその自治法上は同じくするとすれば「その黄巾は香り立たないが好もしい」ということは成り立つ
事実13: 仮になにかは後援するとしたらその自治法上は同じくするということはない
事実14: 「その黄巾は香り立つしかつ好もしい」ということは誤っている
事実15: 「「香り立たないしそれに同じくしない」ということは成り立つということはない」物はある
事実16: すべては照るしそれに減じない
事実17: ある物は結び直さないししかも後援しない
事実18: 仮にその自治法上は同じくしないなら「その黄巾は香り立つしさらに好もしい」ということは間違いである
事実19: もし「あの面談は坐さないけど照る」ということは間違っているならあの細胞プロセスは減じる
事実20: もしその黄巾は同じくしないならば「その自治法上は好もしいし香り立つ」ということは成り立たない
事実21: もしも「「結び直さなくて後援しない」ということは成り立たない」物があるならその自治法上は同じくしない
事実22: もし何かは照る一方でそれが減じないとしたらそれは激しくない

仮説: 「「その黄巾は香り立たないがしかし好もしい」ということは正しい」ということは成り立たない
1. 事実10と事実21から、推論1: "その自治法上は同じくしない"が導かれる
2. 推論1と事実11から、仮説が導かれる

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