あの水芥子は眠い
fact1: もし仮に「あの水芥子は制しないけど茶色っぽい」ということは成り立たないとしたらそれは眠い fact2: 「あの水芥子は制しないけれど茶色っぽい」ということは成り立たない fact3: 仮になにかは闘争委員会でないならばそれは眠くて強制送還しない fact4: もしもあの水芥子が制するとすると眠い fact5: 「あの水芥子は茶色っぽくないが鼓吹する」ということは事実と異なる fact6: 「その高分子核体は緑茶係数でそれは闘争委員会だ」ということは成り立たないとするとそれは闘争委員会でない fact7: 「あの水芥子が制するしその上それは茶色っぽい」ということは成り立たない fact8: もし仮にとあるものが闘争委員会ならばそれは眠くないし強制送還しない fact9: もしも「あの水芥子は催眠状態でないけど書き写す」ということは成り立つということはないならそれは長生きする
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
その高分子核体は眠い
fact10 -> int1: もし「その高分子核体は闘争委員会でない」ということは真実であるとすればそれは眠いが強制送還しない;
$facts$ = fact1: もし仮に「あの水芥子は制しないけど茶色っぽい」ということは成り立たないとしたらそれは眠い fact2: 「あの水芥子は制しないけれど茶色っぽい」ということは成り立たない fact3: 仮になにかは闘争委員会でないならばそれは眠くて強制送還しない fact4: もしもあの水芥子が制するとすると眠い fact5: 「あの水芥子は茶色っぽくないが鼓吹する」ということは事実と異なる fact6: 「その高分子核体は緑茶係数でそれは闘争委員会だ」ということは成り立たないとするとそれは闘争委員会でない fact7: 「あの水芥子が制するしその上それは茶色っぽい」ということは成り立たない fact8: もし仮にとあるものが闘争委員会ならばそれは眠くないし強制送還しない fact9: もしも「あの水芥子は催眠状態でないけど書き写す」ということは成り立つということはないならそれは長生きする ; $hypothesis$ = あの水芥子は眠い ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「あの水芥子は制しないけど茶色っぽい」ということは成り立たないとしたらそれは眠い
事実2: 「あの水芥子は制しないけれど茶色っぽい」ということは成り立たない
事実3: 仮になにかは闘争委員会でないならばそれは眠くて強制送還しない
事実4: もしもあの水芥子が制するとすると眠い
事実5: 「あの水芥子は茶色っぽくないが鼓吹する」ということは事実と異なる
事実6: 「その高分子核体は緑茶係数でそれは闘争委員会だ」ということは成り立たないとするとそれは闘争委員会でない
事実7: 「あの水芥子が制するしその上それは茶色っぽい」ということは成り立たない
事実8: もし仮にとあるものが闘争委員会ならばそれは眠くないし強制送還しない
事実9: もしも「あの水芥子は催眠状態でないけど書き写す」ということは成り立つということはないならそれは長生きする

仮説: あの水芥子は眠い
1. 事実1と事実2から、仮説が導かれる

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