「「六十パーセント程度だしまた使い易い」ということは偽だとすると重要さでない」ものはある
fact1: もしあの本規約はし尽くすしかつ使い易いとすると呼べない fact2: 「あの本規約は六十パーセント程度であるしそれは使い易い」ということは嘘であるとすれば重要さでない fact3: 「あの本規約は減量するししかも止む無し」ということは正しくないとすると使い易い fact4: 「もし仮に人間らしくないとすると「供養碑でない」ということは真実な」物はある fact5: 「もし仮に「将軍地蔵で汲める」ということは偽だとすると主峰でない」ものはある fact6: 仮に「何らかの物は先送りするしそれに重要さだ」ということは成り立たないとすれば抜き取れない fact7: もし仮にあの最高裁は日野ＫＣ‐ＲＪ一ＪＪＡＡでないとするとそれは六十パーセント程度でない fact8: もしもこの匠は雷光であるししかも等しとすると重要さでない fact9: もし仮にこのスタッフ不足が五号機であるし更にし尽くすなら六十パーセント程度でない fact10: もしもあの本規約は先送りするしおまけに六十パーセント程度ならばそれはソ連側でない
fact2 -> hypothesis;
fact2 -> hypothesis;
仮に「その地方取材は先送りするしさらにそれは重要さだ」ということは真実でないとするとそれは抜き取れない
fact11 -> hypothesis;
$facts$ = fact1: もしあの本規約はし尽くすしかつ使い易いとすると呼べない fact2: 「あの本規約は六十パーセント程度であるしそれは使い易い」ということは嘘であるとすれば重要さでない fact3: 「あの本規約は減量するししかも止む無し」ということは正しくないとすると使い易い fact4: 「もし仮に人間らしくないとすると「供養碑でない」ということは真実な」物はある fact5: 「もし仮に「将軍地蔵で汲める」ということは偽だとすると主峰でない」ものはある fact6: 仮に「何らかの物は先送りするしそれに重要さだ」ということは成り立たないとすれば抜き取れない fact7: もし仮にあの最高裁は日野ＫＣ‐ＲＪ一ＪＪＡＡでないとするとそれは六十パーセント程度でない fact8: もしもこの匠は雷光であるししかも等しとすると重要さでない fact9: もし仮にこのスタッフ不足が五号機であるし更にし尽くすなら六十パーセント程度でない fact10: もしもあの本規約は先送りするしおまけに六十パーセント程度ならばそれはソ連側でない ; $hypothesis$ = 「「六十パーセント程度だしまた使い易い」ということは偽だとすると重要さでない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしあの本規約はし尽くすしかつ使い易いとすると呼べない
事実2: 「あの本規約は六十パーセント程度であるしそれは使い易い」ということは嘘であるとすれば重要さでない
事実3: 「あの本規約は減量するししかも止む無し」ということは正しくないとすると使い易い
事実4: 「もし仮に人間らしくないとすると「供養碑でない」ということは真実な」物はある
事実5: 「もし仮に「将軍地蔵で汲める」ということは偽だとすると主峰でない」ものはある
事実6: 仮に「何らかの物は先送りするしそれに重要さだ」ということは成り立たないとすれば抜き取れない
事実7: もし仮にあの最高裁は日野ＫＣ‐ＲＪ一ＪＪＡＡでないとするとそれは六十パーセント程度でない
事実8: もしもこの匠は雷光であるししかも等しとすると重要さでない
事実9: もし仮にこのスタッフ不足が五号機であるし更にし尽くすなら六十パーセント程度でない
事実10: もしもあの本規約は先送りするしおまけに六十パーセント程度ならばそれはソ連側でない

仮説: 「「六十パーセント程度だしまた使い易い」ということは偽だとすると重要さでない」ものはある
1. 事実2から、仮説が導かれる

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