「あの小屋作りは落ちる」ということは成り立つ
fact1: もしあの小屋作りが暑いけど落ちないとすればその飛びっ切りは生活物資だ fact2: その飛びっ切りは発明する fact3: もしその飛びっ切りが掛け難くてさらに塗抹するとするとあの小屋作りは塗抹しない fact4: もし仮に「その不要不急は塗抹する」ということは正しいとしたらその飛びっ切りは塗抹する fact5: その飛びっ切りは落ちるけれど生活物資であるということはない fact6: もしもその飛びっ切りが暑いが生活物資だということはないとしたらあの小屋作りは落ちる fact7: その飛びっ切りは生活物資でない fact8: その飛びっ切りは暑いけどそれは生活物資でない fact9: 「あの小屋作りは運び入れるがしかしそれはアプローチし易くない」ということは確かだ fact10: もしもあの小屋作りが生活物資であるが暑くないならばその飛びっ切りは落ちる fact11: その妹弟子は落ちるけれどそれは大黒柱でない fact12: もしとある物が塗抹しないとしたらそれは落ちないがしかし関係修復だ fact13: その飛びっ切りは科の木だ一方で華胥でない fact14: その御勧めアイテムはハードである一方でそれは暑くない fact15: もしその飛びっ切りが暑いしさらにそれが生活物資であるとするとあの小屋作りは落ちる
fact6 & fact8 -> hypothesis;
fact6 & fact8 -> hypothesis;
あの小屋作りは落ちない
fact16 -> int1: もしあの小屋作りが塗抹しないならそれは落ちないしおまけにそれは関係修復である;
$facts$ = fact1: もしあの小屋作りが暑いけど落ちないとすればその飛びっ切りは生活物資だ fact2: その飛びっ切りは発明する fact3: もしその飛びっ切りが掛け難くてさらに塗抹するとするとあの小屋作りは塗抹しない fact4: もし仮に「その不要不急は塗抹する」ということは正しいとしたらその飛びっ切りは塗抹する fact5: その飛びっ切りは落ちるけれど生活物資であるということはない fact6: もしもその飛びっ切りが暑いが生活物資だということはないとしたらあの小屋作りは落ちる fact7: その飛びっ切りは生活物資でない fact8: その飛びっ切りは暑いけどそれは生活物資でない fact9: 「あの小屋作りは運び入れるがしかしそれはアプローチし易くない」ということは確かだ fact10: もしもあの小屋作りが生活物資であるが暑くないならばその飛びっ切りは落ちる fact11: その妹弟子は落ちるけれどそれは大黒柱でない fact12: もしとある物が塗抹しないとしたらそれは落ちないがしかし関係修復だ fact13: その飛びっ切りは科の木だ一方で華胥でない fact14: その御勧めアイテムはハードである一方でそれは暑くない fact15: もしその飛びっ切りが暑いしさらにそれが生活物資であるとするとあの小屋作りは落ちる ; $hypothesis$ = 「あの小屋作りは落ちる」ということは成り立つ ; $proof$ = 
fact6 & fact8 -> hypothesis; __PROVED__
事実1: もしあの小屋作りが暑いけど落ちないとすればその飛びっ切りは生活物資だ
事実2: その飛びっ切りは発明する
事実3: もしその飛びっ切りが掛け難くてさらに塗抹するとするとあの小屋作りは塗抹しない
事実4: もし仮に「その不要不急は塗抹する」ということは正しいとしたらその飛びっ切りは塗抹する
事実5: その飛びっ切りは落ちるけれど生活物資であるということはない
事実6: もしもその飛びっ切りが暑いが生活物資だということはないとしたらあの小屋作りは落ちる
事実7: その飛びっ切りは生活物資でない
事実8: その飛びっ切りは暑いけどそれは生活物資でない
事実9: 「あの小屋作りは運び入れるがしかしそれはアプローチし易くない」ということは確かだ
事実10: もしもあの小屋作りが生活物資であるが暑くないならばその飛びっ切りは落ちる
事実11: その妹弟子は落ちるけれどそれは大黒柱でない
事実12: もしとある物が塗抹しないとしたらそれは落ちないがしかし関係修復だ
事実13: その飛びっ切りは科の木だ一方で華胥でない
事実14: その御勧めアイテムはハードである一方でそれは暑くない
事実15: もしその飛びっ切りが暑いしさらにそれが生活物資であるとするとあの小屋作りは落ちる

仮説: 「あの小屋作りは落ちる」ということは成り立つ
1. 事実6と事実8から、仮説が導かれる

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