あの勧誘者は思しない一方でそれは植菌する
fact1: 「階数である」物はある fact2: もしもその巻き終わりが思しならばこの集計レポートは生温かい fact3: 「その便秘・下痢は小姓達であるけどそれは救助出来ない」ということは成り立つ fact4: 「凝結する」ものはある fact5: もしもなんらかの物が凝結しないならば滑り難くないかあるいは生温かいかもしくは両方ともである fact6: あの構成団体は生温かくない fact7: 仮にこの集計レポートが植菌するならあの勧誘者は思し fact8: この宗教的情熱は寒ーくないか小密林であるかまたは両方である fact9: もしもこの宗教的情熱が甘ーいとするとこの集計レポートは思し fact10: もし仮にその便秘・下痢が小姓達であるがしかし救助出来ないなら「この集計レポートは入庫しない」ということは正しい fact11: この集計レポートが生温かくないとするとその巻き終わりは思し fact12: その巻き終わりは大転換しない fact13: もし仮に何かは階数であるとしたらその巻き終わりは凝結しなくて大転換しない fact14: なんらかの物が凝結しないとすると思しかまたは生温かいかあるいは両方である fact15: この集計レポートは滑り難い fact16: もし仮に「知り難し」物があればこの集計レポートは易しないしさらに生温かいということはない fact17: その巻き終わりが滑り難くないかまたはそれが生温かいか両方ともだとするとこの宗教的情熱は甘ーい fact18: 仮に「この集計レポートは入庫しない」ということは成り立つとしたらこの宗教的情熱はこっ酷いかあるいは甘ーくないかもしくはどちらもである fact19: 滑り難くないものは大転換する一方で生温かくない fact20: もし仮にとある物はこっ酷いかもしくは甘ーくないかもしくはどちらもだとすると滑り難くない fact21: あの勧誘者は植菌しないかもしくは甘ーいかどちらもだ fact22: もしこの集計レポートが思しならあの勧誘者は思しないがしかし植菌する fact23: もしこの集計レポートが思しとすればあの勧誘者は思しということはない fact24: 仮にあの勧誘者が思しとしたらこの集計レポートは思しということはないがそれは甘ーい fact25: 仮にその巻き終わりは階数なら「あの勧誘者は思しない一方でそれは植菌する」ということは事実でない
fact1 & fact13 -> int1: その巻き終わりは凝結しなくて大転換しない; int1 -> int2: その巻き終わりは凝結するということはない; fact5 -> int3: もし仮にその巻き終わりが凝結しないとすれば滑り難いということはないかあるいは生温かいかまたはどちらもだ; int2 & int3 -> int4: その巻き終わりは滑り難くないかもしくは生温かいかあるいは両方である; int4 & fact17 -> int5: この宗教的情熱は甘ーい; int5 & fact9 -> int6: この集計レポートは思し; int6 & fact22 -> hypothesis;
この自費は公共用でないし救助出来ない
$facts$ = fact1: 「階数である」物はある fact2: もしもその巻き終わりが思しならばこの集計レポートは生温かい fact3: 「その便秘・下痢は小姓達であるけどそれは救助出来ない」ということは成り立つ fact4: 「凝結する」ものはある fact5: もしもなんらかの物が凝結しないならば滑り難くないかあるいは生温かいかもしくは両方ともである fact6: あの構成団体は生温かくない fact7: 仮にこの集計レポートが植菌するならあの勧誘者は思し fact8: この宗教的情熱は寒ーくないか小密林であるかまたは両方である fact9: もしもこの宗教的情熱が甘ーいとするとこの集計レポートは思し fact10: もし仮にその便秘・下痢が小姓達であるがしかし救助出来ないなら「この集計レポートは入庫しない」ということは正しい fact11: この集計レポートが生温かくないとするとその巻き終わりは思し fact12: その巻き終わりは大転換しない fact13: もし仮に何かは階数であるとしたらその巻き終わりは凝結しなくて大転換しない fact14: なんらかの物が凝結しないとすると思しかまたは生温かいかあるいは両方である fact15: この集計レポートは滑り難い fact16: もし仮に「知り難し」物があればこの集計レポートは易しないしさらに生温かいということはない fact17: その巻き終わりが滑り難くないかまたはそれが生温かいか両方ともだとするとこの宗教的情熱は甘ーい fact18: 仮に「この集計レポートは入庫しない」ということは成り立つとしたらこの宗教的情熱はこっ酷いかあるいは甘ーくないかもしくはどちらもである fact19: 滑り難くないものは大転換する一方で生温かくない fact20: もし仮にとある物はこっ酷いかもしくは甘ーくないかもしくはどちらもだとすると滑り難くない fact21: あの勧誘者は植菌しないかもしくは甘ーいかどちらもだ fact22: もしこの集計レポートが思しならあの勧誘者は思しないがしかし植菌する fact23: もしこの集計レポートが思しとすればあの勧誘者は思しということはない fact24: 仮にあの勧誘者が思しとしたらこの集計レポートは思しということはないがそれは甘ーい fact25: 仮にその巻き終わりは階数なら「あの勧誘者は思しない一方でそれは植菌する」ということは事実でない ; $hypothesis$ = あの勧誘者は思しない一方でそれは植菌する ; $proof$ = 
fact1 & fact13 -> int1: その巻き終わりは凝結しなくて大転換しない; int1 -> int2: その巻き終わりは凝結するということはない; fact5 -> int3: もし仮にその巻き終わりが凝結しないとすれば滑り難いということはないかあるいは生温かいかまたはどちらもだ; int2 & int3 -> int4: その巻き終わりは滑り難くないかもしくは生温かいかあるいは両方である; int4 & fact17 -> int5: この宗教的情熱は甘ーい; int5 & fact9 -> int6: この集計レポートは思し; int6 & fact22 -> hypothesis; __PROVED__
事実1: 「階数である」物はある
事実2: もしもその巻き終わりが思しならばこの集計レポートは生温かい
事実3: 「その便秘・下痢は小姓達であるけどそれは救助出来ない」ということは成り立つ
事実4: 「凝結する」ものはある
事実5: もしもなんらかの物が凝結しないならば滑り難くないかあるいは生温かいかもしくは両方ともである
事実6: あの構成団体は生温かくない
事実7: 仮にこの集計レポートが植菌するならあの勧誘者は思し
事実8: この宗教的情熱は寒ーくないか小密林であるかまたは両方である
事実9: もしもこの宗教的情熱が甘ーいとするとこの集計レポートは思し
事実10: もし仮にその便秘・下痢が小姓達であるがしかし救助出来ないなら「この集計レポートは入庫しない」ということは正しい
事実11: この集計レポートが生温かくないとするとその巻き終わりは思し
事実12: その巻き終わりは大転換しない
事実13: もし仮に何かは階数であるとしたらその巻き終わりは凝結しなくて大転換しない
事実14: なんらかの物が凝結しないとすると思しかまたは生温かいかあるいは両方である
事実15: この集計レポートは滑り難い
事実16: もし仮に「知り難し」物があればこの集計レポートは易しないしさらに生温かいということはない
事実17: その巻き終わりが滑り難くないかまたはそれが生温かいか両方ともだとするとこの宗教的情熱は甘ーい
事実18: 仮に「この集計レポートは入庫しない」ということは成り立つとしたらこの宗教的情熱はこっ酷いかあるいは甘ーくないかもしくはどちらもである
事実19: 滑り難くないものは大転換する一方で生温かくない
事実20: もし仮にとある物はこっ酷いかもしくは甘ーくないかもしくはどちらもだとすると滑り難くない
事実21: あの勧誘者は植菌しないかもしくは甘ーいかどちらもだ
事実22: もしこの集計レポートが思しならあの勧誘者は思しないがしかし植菌する
事実23: もしこの集計レポートが思しとすればあの勧誘者は思しということはない
事実24: 仮にあの勧誘者が思しとしたらこの集計レポートは思しということはないがそれは甘ーい
事実25: 仮にその巻き終わりは階数なら「あの勧誘者は思しない一方でそれは植菌する」ということは事実でない

仮説: あの勧誘者は思しない一方でそれは植菌する
1. 事実1と事実13から、推論1: "その巻き終わりは凝結しなくて大転換しない"が導かれる
2. 推論1から、推論2: "その巻き終わりは凝結するということはない"が導かれる
3. 事実5から、推論3: "もし仮にその巻き終わりが凝結しないとすれば滑り難いということはないかあるいは生温かいかまたはどちらもだ"が導かれる
4. 推論2と推論3から、推論4: "その巻き終わりは滑り難くないかもしくは生温かいかあるいは両方である"が導かれる
5. 推論4と事実17から、推論5: "この宗教的情熱は甘ーい"が導かれる
6. 推論5と事実9から、推論6: "この集計レポートは思し"が導かれる
7. 推論6と事実22から、仮説が導かれる

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