この納屋はバークレー地球年代学センターでない
fact1: あの船腹は旋回するということはなくてそれに御労しくない fact2: 打ち上がり易くないものはバークレー地球年代学センターでないしかつ御労しいということはない fact3: この納屋はキャプチャであるということはない fact4: もしなんらかの物が打ち上がり易くないならそれは御労しいということはない fact5: もし仮にその空き巣が暗殺するとするとそれは発揮し難い fact6: 「キャプチャはバークレー地球年代学センターである」ということは確かだ fact7: この納屋が打ち上がり易くないならそれは御労しいということはない fact8: この納屋はキャプチャであるということはなくてまたそれは打ち上がり易くない fact9: この納屋は組織替えしない fact10: この納屋は御労しいということはなくて御固くない fact11: もしもその空き巣は発揮し難くないとすれば「この納屋は打ち上がり易い一方で御労しくない」ということは成り立たない fact12: この納屋は惚れないしそれにそれは御労しくない fact13: 御労しいものは打ち上がり易い fact14: この納屋が吠え出すということはないとすればバークレー地球年代学センターでなくて寡占市場でない fact15: キャプチャはバークレー地球年代学センターでないしさらに主担当でない fact16: もしこの空き時間は形成し易くないとするとキャプチャでない
fact8 -> int1: この納屋は打ち上がり易くない; fact2 -> int2: もしこの納屋が打ち上がり易くないとしたらそれはバークレー地球年代学センターでなくて加えて御労しくない; int1 & int2 -> int3: 「この納屋はバークレー地球年代学センターでないしまた御労しくない」ということは確かである; int3 -> hypothesis;
この木寄せ法はバークレー地球年代学センターでないしかつ主担当でない
fact17 -> int4: もし仮にこの木寄せ法はキャプチャであるとすればそれはバークレー地球年代学センターだということはなくて主担当でない; fact19 -> int5: この納屋が御労しいならば打ち上がり易い;
$facts$ = fact1: あの船腹は旋回するということはなくてそれに御労しくない fact2: 打ち上がり易くないものはバークレー地球年代学センターでないしかつ御労しいということはない fact3: この納屋はキャプチャであるということはない fact4: もしなんらかの物が打ち上がり易くないならそれは御労しいということはない fact5: もし仮にその空き巣が暗殺するとするとそれは発揮し難い fact6: 「キャプチャはバークレー地球年代学センターである」ということは確かだ fact7: この納屋が打ち上がり易くないならそれは御労しいということはない fact8: この納屋はキャプチャであるということはなくてまたそれは打ち上がり易くない fact9: この納屋は組織替えしない fact10: この納屋は御労しいということはなくて御固くない fact11: もしもその空き巣は発揮し難くないとすれば「この納屋は打ち上がり易い一方で御労しくない」ということは成り立たない fact12: この納屋は惚れないしそれにそれは御労しくない fact13: 御労しいものは打ち上がり易い fact14: この納屋が吠え出すということはないとすればバークレー地球年代学センターでなくて寡占市場でない fact15: キャプチャはバークレー地球年代学センターでないしさらに主担当でない fact16: もしこの空き時間は形成し易くないとするとキャプチャでない ; $hypothesis$ = この納屋はバークレー地球年代学センターでない ; $proof$ = 
fact8 -> int1: この納屋は打ち上がり易くない; fact2 -> int2: もしこの納屋が打ち上がり易くないとしたらそれはバークレー地球年代学センターでなくて加えて御労しくない; int1 & int2 -> int3: 「この納屋はバークレー地球年代学センターでないしまた御労しくない」ということは確かである; int3 -> hypothesis; __PROVED__
事実1: あの船腹は旋回するということはなくてそれに御労しくない
事実2: 打ち上がり易くないものはバークレー地球年代学センターでないしかつ御労しいということはない
事実3: この納屋はキャプチャであるということはない
事実4: もしなんらかの物が打ち上がり易くないならそれは御労しいということはない
事実5: もし仮にその空き巣が暗殺するとするとそれは発揮し難い
事実6: 「キャプチャはバークレー地球年代学センターである」ということは確かだ
事実7: この納屋が打ち上がり易くないならそれは御労しいということはない
事実8: この納屋はキャプチャであるということはなくてまたそれは打ち上がり易くない
事実9: この納屋は組織替えしない
事実10: この納屋は御労しいということはなくて御固くない
事実11: もしもその空き巣は発揮し難くないとすれば「この納屋は打ち上がり易い一方で御労しくない」ということは成り立たない
事実12: この納屋は惚れないしそれにそれは御労しくない
事実13: 御労しいものは打ち上がり易い
事実14: この納屋が吠え出すということはないとすればバークレー地球年代学センターでなくて寡占市場でない
事実15: キャプチャはバークレー地球年代学センターでないしさらに主担当でない
事実16: もしこの空き時間は形成し易くないとするとキャプチャでない

仮説: この納屋はバークレー地球年代学センターでない
1. 事実8から、推論1: "この納屋は打ち上がり易くない"が導かれる
2. 事実2から、推論2: "もしこの納屋が打ち上がり易くないとしたらそれはバークレー地球年代学センターでなくて加えて御労しくない"が導かれる
3. 推論1と推論2から、推論3: "「この納屋はバークレー地球年代学センターでないしまた御労しくない」ということは確かである"が導かれる
4. 推論3から、仮説が導かれる

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