もし仮にその目盛りが口答えするならばあの米側は真白い
fact1: もしその目盛りは真白いなら「口答えする」ということは成り立つ fact2: その目盛りが真白いとすればこの米側は口答えする fact3: この米側はいとおしい fact4: その目盛りがいとおしいならばこの米側は真白い fact5: この中軸街路は真白い fact6: 仮にその目盛りが口答えするとするといとおしい fact7: この米側がいとおしいとしたらその目盛りは真白い fact8: 仮にその目盛りが真白いならばこの米側はいとおしい fact9: もし仮にその目盛りは口答えすれば「それは真白い」ということは成り立つ fact10: 「あの開拓使ビール醸造所はいとおしい」ということは事実と異ならない fact11: 「この米側はＲレコードだ」ということは事実だ fact12: その座骨棘は口答えする fact13: この米側は口答えする fact14: あの人民中国は口答えする fact15: 真白くない物はいとおしくてかつ口答えする fact16: その目盛りは真白い fact17: その目盛りは折り合いだ
void -> assump1: 以下のように仮定する。その目盛りは口答えする; fact6 & assump1 -> int1: その目盛りはいとおしい; int1 & fact4 -> int2: この米側は真白い; [assump1] & int2 -> hypothesis;
あの侵略は口答えする
fact18 -> int3: あの侵略が真白くないならそれはいとおしくてそれに口答えする;
$facts$ = fact1: もしその目盛りは真白いなら「口答えする」ということは成り立つ fact2: その目盛りが真白いとすればこの米側は口答えする fact3: この米側はいとおしい fact4: その目盛りがいとおしいならばこの米側は真白い fact5: この中軸街路は真白い fact6: 仮にその目盛りが口答えするとするといとおしい fact7: この米側がいとおしいとしたらその目盛りは真白い fact8: 仮にその目盛りが真白いならばこの米側はいとおしい fact9: もし仮にその目盛りは口答えすれば「それは真白い」ということは成り立つ fact10: 「あの開拓使ビール醸造所はいとおしい」ということは事実と異ならない fact11: 「この米側はＲレコードだ」ということは事実だ fact12: その座骨棘は口答えする fact13: この米側は口答えする fact14: あの人民中国は口答えする fact15: 真白くない物はいとおしくてかつ口答えする fact16: その目盛りは真白い fact17: その目盛りは折り合いだ ; $hypothesis$ = もし仮にその目盛りが口答えするならばあの米側は真白い ; $proof$ = 
void -> assump1: 以下のように仮定する。その目盛りは口答えする; fact6 & assump1 -> int1: その目盛りはいとおしい; int1 & fact4 -> int2: この米側は真白い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしその目盛りは真白いなら「口答えする」ということは成り立つ
事実2: その目盛りが真白いとすればこの米側は口答えする
事実3: この米側はいとおしい
事実4: その目盛りがいとおしいならばこの米側は真白い
事実5: この中軸街路は真白い
事実6: 仮にその目盛りが口答えするとするといとおしい
事実7: この米側がいとおしいとしたらその目盛りは真白い
事実8: 仮にその目盛りが真白いならばこの米側はいとおしい
事実9: もし仮にその目盛りは口答えすれば「それは真白い」ということは成り立つ
事実10: 「あの開拓使ビール醸造所はいとおしい」ということは事実と異ならない
事実11: 「この米側はＲレコードだ」ということは事実だ
事実12: その座骨棘は口答えする
事実13: この米側は口答えする
事実14: あの人民中国は口答えする
事実15: 真白くない物はいとおしくてかつ口答えする
事実16: その目盛りは真白い
事実17: その目盛りは折り合いだ

仮説: もし仮にその目盛りが口答えするならばあの米側は真白い
1. 仮定1: 以下のように仮定する。その目盛りは口答えする
2. 事実6と仮定1から、推論1: "その目盛りはいとおしい"が導かれる
3. 推論1と事実4から、推論2: "この米側は真白い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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