「あの秘訣は人夫頭達だがしかし蛍光ペンでない」ということは間違いだ
fact1: 「あの秘訣は人夫頭達であるしそれは蛍光ペンだ」ということは間違っている fact2: とあるものが溶け込めないとしたらオリオン文明でない fact3: あの絶対的条件は失明する fact4: もしその四十年代半ばが償うとすればあの決起は禍々しい一方で予測し易くない fact5: もしあの絶対的条件は失明すれば「あの秘訣は人夫頭達である一方で蛍光ペンでない」ということは嘘である fact6: もし仮にあの絶対的条件が失明しないとすればあの秘訣は人夫頭達だがしかし蛍光ペンでない fact7: 娘らしいということはないものは失明するけど得意がるということはない fact8: もし仮に「この二十パーセント以下は失明する」ということは成り立つとしたらあの秘訣は失明する fact9: もしこの二十パーセント以下は得意がるとすると「あの絶対的条件は失明しない」ということは真実だ fact10: その中小工業は失明する fact11: もしもあの秘訣は失明するとしたら「あの絶対的条件は横線であるが人夫頭達でない」ということは偽である fact12: 仮にあの決起が禍々しい一方で予測し易くないとしたらこの二十パーセント以下は予測し易い fact13: もしなにかはオリオン文明でないとすればそれは得意がるし加えて娘らしい fact14: もしもあの決起が溶け込めないがしかし娘らしいならこの二十パーセント以下は娘らしくない fact15: 予測し易い物は溶け込めないけど反撃する
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
「あの絶対的条件は横線であるけれどそれは人夫頭達でない」ということは成り立たない
fact18 -> int1: もしもこの二十パーセント以下が娘らしくないとしたらそれは失明するし更に得意がらない;
$facts$ = fact1: 「あの秘訣は人夫頭達であるしそれは蛍光ペンだ」ということは間違っている fact2: とあるものが溶け込めないとしたらオリオン文明でない fact3: あの絶対的条件は失明する fact4: もしその四十年代半ばが償うとすればあの決起は禍々しい一方で予測し易くない fact5: もしあの絶対的条件は失明すれば「あの秘訣は人夫頭達である一方で蛍光ペンでない」ということは嘘である fact6: もし仮にあの絶対的条件が失明しないとすればあの秘訣は人夫頭達だがしかし蛍光ペンでない fact7: 娘らしいということはないものは失明するけど得意がるということはない fact8: もし仮に「この二十パーセント以下は失明する」ということは成り立つとしたらあの秘訣は失明する fact9: もしこの二十パーセント以下は得意がるとすると「あの絶対的条件は失明しない」ということは真実だ fact10: その中小工業は失明する fact11: もしもあの秘訣は失明するとしたら「あの絶対的条件は横線であるが人夫頭達でない」ということは偽である fact12: 仮にあの決起が禍々しい一方で予測し易くないとしたらこの二十パーセント以下は予測し易い fact13: もしなにかはオリオン文明でないとすればそれは得意がるし加えて娘らしい fact14: もしもあの決起が溶け込めないがしかし娘らしいならこの二十パーセント以下は娘らしくない fact15: 予測し易い物は溶け込めないけど反撃する ; $hypothesis$ = 「あの秘訣は人夫頭達だがしかし蛍光ペンでない」ということは間違いだ ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: 「あの秘訣は人夫頭達であるしそれは蛍光ペンだ」ということは間違っている
事実2: とあるものが溶け込めないとしたらオリオン文明でない
事実3: あの絶対的条件は失明する
事実4: もしその四十年代半ばが償うとすればあの決起は禍々しい一方で予測し易くない
事実5: もしあの絶対的条件は失明すれば「あの秘訣は人夫頭達である一方で蛍光ペンでない」ということは嘘である
事実6: もし仮にあの絶対的条件が失明しないとすればあの秘訣は人夫頭達だがしかし蛍光ペンでない
事実7: 娘らしいということはないものは失明するけど得意がるということはない
事実8: もし仮に「この二十パーセント以下は失明する」ということは成り立つとしたらあの秘訣は失明する
事実9: もしこの二十パーセント以下は得意がるとすると「あの絶対的条件は失明しない」ということは真実だ
事実10: その中小工業は失明する
事実11: もしもあの秘訣は失明するとしたら「あの絶対的条件は横線であるが人夫頭達でない」ということは偽である
事実12: 仮にあの決起が禍々しい一方で予測し易くないとしたらこの二十パーセント以下は予測し易い
事実13: もしなにかはオリオン文明でないとすればそれは得意がるし加えて娘らしい
事実14: もしもあの決起が溶け込めないがしかし娘らしいならこの二十パーセント以下は娘らしくない
事実15: 予測し易い物は溶け込めないけど反撃する

仮説: 「あの秘訣は人夫頭達だがしかし蛍光ペンでない」ということは間違いだ
1. 事実5と事実3から、仮説が導かれる

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