「「被験だし不味い」ということは間違いである」物はある
fact1: あの控訴棄却は磁気でないなら「あの四十施設は小作地率だし不味い」ということは間違っている fact2: あの控訴棄却は小作地率でないならば「あの自宅治療は落ち着き払うし磁気だ」ということは嘘である fact3: もしも「あの自宅治療は落ち着き払わない」ということは正しいとすると「あの四十施設が被験だしまた不味い」ということは成り立つということはない fact4: 「「あの控訴棄却は磁気でないが小作地率である」ということは確かである」ということは嘘である fact5: 「「納入業者であるしサバイバル・セオリーである」ということは誤りな」ものはある fact6: 「あの控訴棄却は小作地率でないけれど被験である」ということは誤りである fact7: 「「小作地率であるし落ち着き払う」ということは成り立たない」物はある fact8: 「「落ち着き払うし不味い」ということは偽な」物はある fact9: もし仮に「あの自宅治療は被験でない一方で磁気だ」ということは偽だとしたらあの控訴棄却は落ち着き払わない fact10: 仮に「あの自宅治療は被験だということはない一方でそれは落ち着き払う」ということは真実でないとしたらあの四十施設は小作地率でない fact11: このヒット・チャートは合計するということはない fact12: 「「あの四十施設は被験でないがしかし落ち着き払う」ということは成り立つ」ということは事実と異なる fact13: 仮に「あの控訴棄却は被験でないけれど不味い」ということは偽であるならあの四十施設は磁気でない fact14: あの四十施設は改革しない fact15: もし仮に「あの控訴棄却は磁気でない一方で落ち着き払う」ということは間違いであるとしたらあの自宅治療は小作地率でない fact16: あの控訴棄却が小作地率でないとすればあの自宅治療は落ち着き払わない fact17: もし「あの自宅治療は落ち着き払わないが被験である」ということは成り立たないとするとあの四十施設は小作地率でない fact18: 仮に「あの控訴棄却は磁気でない一方でそれは小作地率だ」ということは嘘ならあの自宅治療は落ち着き払わない fact19: 「あの四十施設は被験だし磁気だ」ということは正しくない fact20: あの四十施設は小作地率であるということはない fact21: 「「落ち着き払うし更に被験である」ということは事実と異なる」ものはある fact22: なにがしかの物は被験でそれにそれは不味い fact23: 「あの四十施設は磁気であるししかも被験である」ということは成り立たない
fact18 & fact4 -> int1: あの自宅治療は落ち着き払わない; int1 & fact3 -> int2: 「あの四十施設は被験であるしそれは不味い」ということは事実と異なる; int2 -> hypothesis;
fact18 & fact4 -> int1: ¬{B}{b}; int1 & fact3 -> int2: ¬({A}{c} & {C}{c}); int2 -> hypothesis;
$facts$ = fact1: あの控訴棄却は磁気でないなら「あの四十施設は小作地率だし不味い」ということは間違っている fact2: あの控訴棄却は小作地率でないならば「あの自宅治療は落ち着き払うし磁気だ」ということは嘘である fact3: もしも「あの自宅治療は落ち着き払わない」ということは正しいとすると「あの四十施設が被験だしまた不味い」ということは成り立つということはない fact4: 「「あの控訴棄却は磁気でないが小作地率である」ということは確かである」ということは嘘である fact5: 「「納入業者であるしサバイバル・セオリーである」ということは誤りな」ものはある fact6: 「あの控訴棄却は小作地率でないけれど被験である」ということは誤りである fact7: 「「小作地率であるし落ち着き払う」ということは成り立たない」物はある fact8: 「「落ち着き払うし不味い」ということは偽な」物はある fact9: もし仮に「あの自宅治療は被験でない一方で磁気だ」ということは偽だとしたらあの控訴棄却は落ち着き払わない fact10: 仮に「あの自宅治療は被験だということはない一方でそれは落ち着き払う」ということは真実でないとしたらあの四十施設は小作地率でない fact11: このヒット・チャートは合計するということはない fact12: 「「あの四十施設は被験でないがしかし落ち着き払う」ということは成り立つ」ということは事実と異なる fact13: 仮に「あの控訴棄却は被験でないけれど不味い」ということは偽であるならあの四十施設は磁気でない fact14: あの四十施設は改革しない fact15: もし仮に「あの控訴棄却は磁気でない一方で落ち着き払う」ということは間違いであるとしたらあの自宅治療は小作地率でない fact16: あの控訴棄却が小作地率でないとすればあの自宅治療は落ち着き払わない fact17: もし「あの自宅治療は落ち着き払わないが被験である」ということは成り立たないとするとあの四十施設は小作地率でない fact18: 仮に「あの控訴棄却は磁気でない一方でそれは小作地率だ」ということは嘘ならあの自宅治療は落ち着き払わない fact19: 「あの四十施設は被験だし磁気だ」ということは正しくない fact20: あの四十施設は小作地率であるということはない fact21: 「「落ち着き払うし更に被験である」ということは事実と異なる」ものはある fact22: なにがしかの物は被験でそれにそれは不味い fact23: 「あの四十施設は磁気であるししかも被験である」ということは成り立たない ; $hypothesis$ = 「「被験だし不味い」ということは間違いである」物はある ; $proof$ = 
fact18 & fact4 -> int1: あの自宅治療は落ち着き払わない; int1 & fact3 -> int2: 「あの四十施設は被験であるしそれは不味い」ということは事実と異なる; int2 -> hypothesis; __PROVED__
事実1: あの控訴棄却は磁気でないなら「あの四十施設は小作地率だし不味い」ということは間違っている
事実2: あの控訴棄却は小作地率でないならば「あの自宅治療は落ち着き払うし磁気だ」ということは嘘である
事実3: もしも「あの自宅治療は落ち着き払わない」ということは正しいとすると「あの四十施設が被験だしまた不味い」ということは成り立つということはない
事実4: 「「あの控訴棄却は磁気でないが小作地率である」ということは確かである」ということは嘘である
事実5: 「「納入業者であるしサバイバル・セオリーである」ということは誤りな」ものはある
事実6: 「あの控訴棄却は小作地率でないけれど被験である」ということは誤りである
事実7: 「「小作地率であるし落ち着き払う」ということは成り立たない」物はある
事実8: 「「落ち着き払うし不味い」ということは偽な」物はある
事実9: もし仮に「あの自宅治療は被験でない一方で磁気だ」ということは偽だとしたらあの控訴棄却は落ち着き払わない
事実10: 仮に「あの自宅治療は被験だということはない一方でそれは落ち着き払う」ということは真実でないとしたらあの四十施設は小作地率でない
事実11: このヒット・チャートは合計するということはない
事実12: 「「あの四十施設は被験でないがしかし落ち着き払う」ということは成り立つ」ということは事実と異なる
事実13: 仮に「あの控訴棄却は被験でないけれど不味い」ということは偽であるならあの四十施設は磁気でない
事実14: あの四十施設は改革しない
事実15: もし仮に「あの控訴棄却は磁気でない一方で落ち着き払う」ということは間違いであるとしたらあの自宅治療は小作地率でない
事実16: あの控訴棄却が小作地率でないとすればあの自宅治療は落ち着き払わない
事実17: もし「あの自宅治療は落ち着き払わないが被験である」ということは成り立たないとするとあの四十施設は小作地率でない
事実18: 仮に「あの控訴棄却は磁気でない一方でそれは小作地率だ」ということは嘘ならあの自宅治療は落ち着き払わない
事実19: 「あの四十施設は被験だし磁気だ」ということは正しくない
事実20: あの四十施設は小作地率であるということはない
事実21: 「「落ち着き払うし更に被験である」ということは事実と異なる」ものはある
事実22: なにがしかの物は被験でそれにそれは不味い
事実23: 「あの四十施設は磁気であるししかも被験である」ということは成り立たない

仮説: 「「被験だし不味い」ということは間違いである」物はある
1. 事実18と事実4から、推論1: "あの自宅治療は落ち着き払わない"が導かれる
2. 推論1と事実3から、推論2: "「あの四十施設は被験であるしそれは不味い」ということは事実と異なる"が導かれる
3. 推論2から、仮説が導かれる

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