「この憲政会は剥がれ易いということはないしそれに砕けない」ということは本当であるということはない
fact1: この憲政会は大人らしい fact2: あの事業体は仄白いけれど揺るぎなくない fact3: 仮にこの憲政会が大人らしくないとしたらあの事業体は砕けない fact4: もしあの事業体が剥がれ易くないとしたらこの憲政会は剥がれ易くないししかも砕けない fact5: 仮にあの事業体が砕けるしさらに剥がれ易いならば「猜疑する」ということは本当である fact6: その万能チューナーは大人らしい fact7: あの事業体は七十四商事でなくて更に飛べない fact8: もしあの事業体が殴り合うがしかし大人らしくないならばそれは猜疑する fact9: あの事業体は殴り合うがしかし大人らしくない fact10: 仮になんらかのものが猜疑するしその上手巻き寿司ならば剥がれ易くない fact11: あの事業体は飛べないけどそれは手巻き寿司だ fact12: この憲政会が飛べるということはないならばあの事業体は砕けない
fact8 & fact9 -> int1: あの事業体は猜疑する; fact11 -> int2: あの事業体は手巻き寿司である; int1 & int2 -> int3: あの事業体は猜疑するし更に手巻き寿司だ; fact10 -> int4: もし仮にあの事業体が猜疑するしかつ手巻き寿司だとすれば剥がれ易くない; int3 & int4 -> int5: あの事業体は剥がれ易くない; int5 & fact4 -> hypothesis;
$facts$ = fact1: この憲政会は大人らしい fact2: あの事業体は仄白いけれど揺るぎなくない fact3: 仮にこの憲政会が大人らしくないとしたらあの事業体は砕けない fact4: もしあの事業体が剥がれ易くないとしたらこの憲政会は剥がれ易くないししかも砕けない fact5: 仮にあの事業体が砕けるしさらに剥がれ易いならば「猜疑する」ということは本当である fact6: その万能チューナーは大人らしい fact7: あの事業体は七十四商事でなくて更に飛べない fact8: もしあの事業体が殴り合うがしかし大人らしくないならばそれは猜疑する fact9: あの事業体は殴り合うがしかし大人らしくない fact10: 仮になんらかのものが猜疑するしその上手巻き寿司ならば剥がれ易くない fact11: あの事業体は飛べないけどそれは手巻き寿司だ fact12: この憲政会が飛べるということはないならばあの事業体は砕けない ; $hypothesis$ = 「この憲政会は剥がれ易いということはないしそれに砕けない」ということは本当であるということはない ; $proof$ = 
fact8 & fact9 -> int1: あの事業体は猜疑する; fact11 -> int2: あの事業体は手巻き寿司である; int1 & int2 -> int3: あの事業体は猜疑するし更に手巻き寿司だ; fact10 -> int4: もし仮にあの事業体が猜疑するしかつ手巻き寿司だとすれば剥がれ易くない; int3 & int4 -> int5: あの事業体は剥がれ易くない; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: この憲政会は大人らしい
事実2: あの事業体は仄白いけれど揺るぎなくない
事実3: 仮にこの憲政会が大人らしくないとしたらあの事業体は砕けない
事実4: もしあの事業体が剥がれ易くないとしたらこの憲政会は剥がれ易くないししかも砕けない
事実5: 仮にあの事業体が砕けるしさらに剥がれ易いならば「猜疑する」ということは本当である
事実6: その万能チューナーは大人らしい
事実7: あの事業体は七十四商事でなくて更に飛べない
事実8: もしあの事業体が殴り合うがしかし大人らしくないならばそれは猜疑する
事実9: あの事業体は殴り合うがしかし大人らしくない
事実10: 仮になんらかのものが猜疑するしその上手巻き寿司ならば剥がれ易くない
事実11: あの事業体は飛べないけどそれは手巻き寿司だ
事実12: この憲政会が飛べるということはないならばあの事業体は砕けない

仮説: 「この憲政会は剥がれ易いということはないしそれに砕けない」ということは本当であるということはない
1. 事実8と事実9から、推論1: "あの事業体は猜疑する"が導かれる
2. 事実11から、推論2: "あの事業体は手巻き寿司である"が導かれる
3. 推論1と推論2から、推論3: "あの事業体は猜疑するし更に手巻き寿司だ"が導かれる
4. 事実10から、推論4: "もし仮にあの事業体が猜疑するしかつ手巻き寿司だとすれば剥がれ易くない"が導かれる
5. 推論3と推論4から、推論5: "あの事業体は剥がれ易くない"が導かれる
6. 推論5と事実4から、仮説が否定される

よって、仮説が否定されました。