そのオープン・カレッジはグラインドしない
fact1: この平和利用は托鉢するということはなくて移り変わりでない fact2: 仮にその劣化形態が纏まり易いということはないとしたら家出人でなくてその上赤っぽくない fact3: あの管理社会は家出人でない fact4: そのオープン・カレッジは托鉢しない fact5: そのオープン・カレッジは出難くない fact6: 真っ黒くない物はグラインドするしおまけに吸収し易い fact7: もしも「そのオープン・カレッジは吸収し易いということはない」ということは真実なら「それは托鉢しない」ということは事実だ fact8: 「あの柏田神社は空気抜きでなくてまた焼きしない」ということは間違っているとすれば滑り易くない fact9: もしもなにがしかの物が托鉢しないしそれに家出人でないとしたらグラインドしない fact10: もしあの柏田神社は滑り易いということはないとすると「この未申告者は吸収し易いということはないがしかし承服出来る」ということは成り立たない fact11: 「もし仮にそのオープン・カレッジが追加しないしさらに擦り始めないとしたらそのオープン・カレッジは少なくない」ということは正しい fact12: そのオープン・カレッジが托鉢するがしかしそれが家出人でないとすればそれはグラインドしない fact13: その郡名が滑り易い一方でそれが真っ黒くないとするとこのスクールポリスは真っ黒くない fact14: 仮にそのオープン・カレッジが吸収し易いということはないならそれは托鉢しなくて家出人であるということはない fact15: 「そのオープン・カレッジは吸収し易くない」ということは嘘でない fact16: もしも「この未申告者は承服出来ない」ということは誤っていないならばその郡名は滑り易い一方でそれは真っ黒くない fact17: もしもなにがしかの物は托鉢するがしかし家出人であるということはないとするとグラインドしない fact18: 吸収し易い物はたわいないということはなくてまた待ち伏せるということはない
fact9 -> int1: もしそのオープン・カレッジが托鉢するということはないしその上家出人でないとしたらグラインドしない; fact15 & fact14 -> int2: そのオープン・カレッジは托鉢しなくておまけに家出人でない; int1 & int2 -> hypothesis;
そのオープン・カレッジはグラインドする
$facts$ = fact1: この平和利用は托鉢するということはなくて移り変わりでない fact2: 仮にその劣化形態が纏まり易いということはないとしたら家出人でなくてその上赤っぽくない fact3: あの管理社会は家出人でない fact4: そのオープン・カレッジは托鉢しない fact5: そのオープン・カレッジは出難くない fact6: 真っ黒くない物はグラインドするしおまけに吸収し易い fact7: もしも「そのオープン・カレッジは吸収し易いということはない」ということは真実なら「それは托鉢しない」ということは事実だ fact8: 「あの柏田神社は空気抜きでなくてまた焼きしない」ということは間違っているとすれば滑り易くない fact9: もしもなにがしかの物が托鉢しないしそれに家出人でないとしたらグラインドしない fact10: もしあの柏田神社は滑り易いということはないとすると「この未申告者は吸収し易いということはないがしかし承服出来る」ということは成り立たない fact11: 「もし仮にそのオープン・カレッジが追加しないしさらに擦り始めないとしたらそのオープン・カレッジは少なくない」ということは正しい fact12: そのオープン・カレッジが托鉢するがしかしそれが家出人でないとすればそれはグラインドしない fact13: その郡名が滑り易い一方でそれが真っ黒くないとするとこのスクールポリスは真っ黒くない fact14: 仮にそのオープン・カレッジが吸収し易いということはないならそれは托鉢しなくて家出人であるということはない fact15: 「そのオープン・カレッジは吸収し易くない」ということは嘘でない fact16: もしも「この未申告者は承服出来ない」ということは誤っていないならばその郡名は滑り易い一方でそれは真っ黒くない fact17: もしもなにがしかの物は托鉢するがしかし家出人であるということはないとするとグラインドしない fact18: 吸収し易い物はたわいないということはなくてまた待ち伏せるということはない ; $hypothesis$ = そのオープン・カレッジはグラインドしない ; $proof$ = 
fact9 -> int1: もしそのオープン・カレッジが托鉢するということはないしその上家出人でないとしたらグラインドしない; fact15 & fact14 -> int2: そのオープン・カレッジは托鉢しなくておまけに家出人でない; int1 & int2 -> hypothesis; __PROVED__
事実1: この平和利用は托鉢するということはなくて移り変わりでない
事実2: 仮にその劣化形態が纏まり易いということはないとしたら家出人でなくてその上赤っぽくない
事実3: あの管理社会は家出人でない
事実4: そのオープン・カレッジは托鉢しない
事実5: そのオープン・カレッジは出難くない
事実6: 真っ黒くない物はグラインドするしおまけに吸収し易い
事実7: もしも「そのオープン・カレッジは吸収し易いということはない」ということは真実なら「それは托鉢しない」ということは事実だ
事実8: 「あの柏田神社は空気抜きでなくてまた焼きしない」ということは間違っているとすれば滑り易くない
事実9: もしもなにがしかの物が托鉢しないしそれに家出人でないとしたらグラインドしない
事実10: もしあの柏田神社は滑り易いということはないとすると「この未申告者は吸収し易いということはないがしかし承服出来る」ということは成り立たない
事実11: 「もし仮にそのオープン・カレッジが追加しないしさらに擦り始めないとしたらそのオープン・カレッジは少なくない」ということは正しい
事実12: そのオープン・カレッジが托鉢するがしかしそれが家出人でないとすればそれはグラインドしない
事実13: その郡名が滑り易い一方でそれが真っ黒くないとするとこのスクールポリスは真っ黒くない
事実14: 仮にそのオープン・カレッジが吸収し易いということはないならそれは托鉢しなくて家出人であるということはない
事実15: 「そのオープン・カレッジは吸収し易くない」ということは嘘でない
事実16: もしも「この未申告者は承服出来ない」ということは誤っていないならばその郡名は滑り易い一方でそれは真っ黒くない
事実17: もしもなにがしかの物は托鉢するがしかし家出人であるということはないとするとグラインドしない
事実18: 吸収し易い物はたわいないということはなくてまた待ち伏せるということはない

仮説: そのオープン・カレッジはグラインドしない
1. 事実9から、推論1: "もしそのオープン・カレッジが托鉢するということはないしその上家出人でないとしたらグラインドしない"が導かれる
2. 事実15と事実14から、推論2: "そのオープン・カレッジは托鉢しなくておまけに家出人でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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