その草葺き屋根は窄めない
fact1: 「その嫌気性細菌は修理株式会社でなくてかつ工夫出来ない」ということは成り立たないとすればその草葺き屋根は反映され易くない fact2: 「この溜め池はペイする」ということは事実だ fact3: 仮にその草葺き屋根が反映され易いということはないとしたらそれが熱処理するしその上それは強大化する fact4: その草葺き屋根はハード・ドラッグだ fact5: 「あの六Ｆヘルキャットはペイする」ということは事実だ fact6: 仮にその草葺き屋根はヒジョーであるしそれにハード・ドラッグであるとしたら窄めない fact7: この溜め池はペイするとすると「その嫌気性細菌は修理株式会社でなくておまけにそれは工夫出来ない」ということは成り立つということはない fact8: もしその草葺き屋根が熱処理するとしたらヒジョーだ
fact7 & fact2 -> int1: 「その嫌気性細菌は修理株式会社でなくて工夫出来ない」ということは成り立たない; int1 & fact1 -> int2: その草葺き屋根は反映され易いということはない; int2 & fact3 -> int3: その草葺き屋根は熱処理するしそれに強大化する; int3 -> int4: その草葺き屋根は熱処理する; int4 & fact8 -> int5: その草葺き屋根はヒジョーだ; int5 & fact4 -> int6: その草葺き屋根はヒジョーであるしさらにハード・ドラッグである; int6 & fact6 -> hypothesis;
$facts$ = fact1: 「その嫌気性細菌は修理株式会社でなくてかつ工夫出来ない」ということは成り立たないとすればその草葺き屋根は反映され易くない fact2: 「この溜め池はペイする」ということは事実だ fact3: 仮にその草葺き屋根が反映され易いということはないとしたらそれが熱処理するしその上それは強大化する fact4: その草葺き屋根はハード・ドラッグだ fact5: 「あの六Ｆヘルキャットはペイする」ということは事実だ fact6: 仮にその草葺き屋根はヒジョーであるしそれにハード・ドラッグであるとしたら窄めない fact7: この溜め池はペイするとすると「その嫌気性細菌は修理株式会社でなくておまけにそれは工夫出来ない」ということは成り立つということはない fact8: もしその草葺き屋根が熱処理するとしたらヒジョーだ ; $hypothesis$ = その草葺き屋根は窄めない ; $proof$ = 
fact7 & fact2 -> int1: 「その嫌気性細菌は修理株式会社でなくて工夫出来ない」ということは成り立たない; int1 & fact1 -> int2: その草葺き屋根は反映され易いということはない; int2 & fact3 -> int3: その草葺き屋根は熱処理するしそれに強大化する; int3 -> int4: その草葺き屋根は熱処理する; int4 & fact8 -> int5: その草葺き屋根はヒジョーだ; int5 & fact4 -> int6: その草葺き屋根はヒジョーであるしさらにハード・ドラッグである; int6 & fact6 -> hypothesis; __PROVED__
事実1: 「その嫌気性細菌は修理株式会社でなくてかつ工夫出来ない」ということは成り立たないとすればその草葺き屋根は反映され易くない
事実2: 「この溜め池はペイする」ということは事実だ
事実3: 仮にその草葺き屋根が反映され易いということはないとしたらそれが熱処理するしその上それは強大化する
事実4: その草葺き屋根はハード・ドラッグだ
事実5: 「あの六Ｆヘルキャットはペイする」ということは事実だ
事実6: 仮にその草葺き屋根はヒジョーであるしそれにハード・ドラッグであるとしたら窄めない
事実7: この溜め池はペイするとすると「その嫌気性細菌は修理株式会社でなくておまけにそれは工夫出来ない」ということは成り立つということはない
事実8: もしその草葺き屋根が熱処理するとしたらヒジョーだ

仮説: その草葺き屋根は窄めない
1. 事実7と事実2から、推論1: "「その嫌気性細菌は修理株式会社でなくて工夫出来ない」ということは成り立たない"が導かれる
2. 推論1と事実1から、推論2: "その草葺き屋根は反映され易いということはない"が導かれる
3. 推論2と事実3から、推論3: "その草葺き屋根は熱処理するしそれに強大化する"が導かれる
4. 推論3から、推論4: "その草葺き屋根は熱処理する"が導かれる
5. 推論4と事実8から、推論5: "その草葺き屋根はヒジョーだ"が導かれる
6. 推論5と事実4から、推論6: "その草葺き屋根はヒジョーであるしさらにハード・ドラッグである"が導かれる
7. 推論6と事実6から、仮説が導かれる

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