あの日本企業は臨検であるし歩す
fact1: もし仮にあの日本企業は病原菌でないとしたら「この早治鞠は御寒くてさらに憎らしい」ということは成り立たない fact2: 何かは病原菌でないなら臨検だしさらに歩す fact3: 仮に何かは個別でないとすると負傷するしおまけに引っ返す fact4: もし仮にとある物は歯痒くないならば「引っ返すし病原菌である」ということは偽だ fact5: 「とあるものは病原菌だ」ということは真実であるならば「それは歯痒くない」ということは成り立つ fact6: もしもなんらかのものが突き抜けないかまたは喉頸であるならばそれは色っぽくない fact7: 仮にあの日本企業は臨検であるがしかし難しかないならば追い付かない fact8: 仮に何かは歩すらないかまたはそれは病原菌であるかもしくは両方であるなら難しかない fact9: この早治鞠は追い付くけど難しかない fact10: もしその生産ネットワークが個別だけど置き場所だということはないとしたらあの物質利益至上主義は臨検である fact11: その生産ネットワークはネイティブらしいということはなくて速報値でない fact12: この早治鞠は追い付く fact13: もしあの物質利益至上主義は臨検であるとしたら「負傷するけど歩すらない」ということは間違っている fact14: この早治鞠が追い付くけれど難しいということはないならそれは引っ返さない fact15: 仮にこの早治鞠は歩すらないとしたら「あの日本企業は臨検であるしおまけに歩す」ということは誤っている fact16: その生産ネットワークがネイティブらしくないとしたら個別であるが置き場所だということはない fact17: 仮になんらかの物が歯痒くないとしたら歩すらない fact18: とある物が引っ返すということはないかあるいは病原菌であるかまたは両方ともであるならば歯痒いということはない
fact14 & fact9 -> int1: この早治鞠は引っ返さない; int1 -> int2: この早治鞠は引っ返さないかまたは病原菌であるかまたは両方である; fact18 -> int3: もしもこの早治鞠が引っ返すということはないかもしくは病原菌であるかどちらもだとするとそれは歯痒くない; int2 & int3 -> int4: この早治鞠は歯痒くない; fact17 -> int5: もし「この早治鞠は歯痒いということはない」ということは本当だとすれば歩すらない; int4 & int5 -> int6: 「この早治鞠は歩す」ということは成り立たない; int6 & fact15 -> hypothesis;
「この早治鞠は御寒いしそれに憎らしい」ということは成り立たない
fact23 -> int7: あの物質利益至上主義は歯痒くないとすれば「引っ返すし病原菌である」ということは成り立つということはない; fact21 -> int8: その生産ネットワークはネイティブらしくない; fact19 & int8 -> int9: その生産ネットワークは個別であるがそれは置き場所でない; fact22 & int9 -> int10: あの物質利益至上主義は臨検である; fact20 & int10 -> int11: 「あの物質利益至上主義は負傷するがそれは歩すらない」ということは間違っている;
$facts$ = fact1: もし仮にあの日本企業は病原菌でないとしたら「この早治鞠は御寒くてさらに憎らしい」ということは成り立たない fact2: 何かは病原菌でないなら臨検だしさらに歩す fact3: 仮に何かは個別でないとすると負傷するしおまけに引っ返す fact4: もし仮にとある物は歯痒くないならば「引っ返すし病原菌である」ということは偽だ fact5: 「とあるものは病原菌だ」ということは真実であるならば「それは歯痒くない」ということは成り立つ fact6: もしもなんらかのものが突き抜けないかまたは喉頸であるならばそれは色っぽくない fact7: 仮にあの日本企業は臨検であるがしかし難しかないならば追い付かない fact8: 仮に何かは歩すらないかまたはそれは病原菌であるかもしくは両方であるなら難しかない fact9: この早治鞠は追い付くけど難しかない fact10: もしその生産ネットワークが個別だけど置き場所だということはないとしたらあの物質利益至上主義は臨検である fact11: その生産ネットワークはネイティブらしいということはなくて速報値でない fact12: この早治鞠は追い付く fact13: もしあの物質利益至上主義は臨検であるとしたら「負傷するけど歩すらない」ということは間違っている fact14: この早治鞠が追い付くけれど難しいということはないならそれは引っ返さない fact15: 仮にこの早治鞠は歩すらないとしたら「あの日本企業は臨検であるしおまけに歩す」ということは誤っている fact16: その生産ネットワークがネイティブらしくないとしたら個別であるが置き場所だということはない fact17: 仮になんらかの物が歯痒くないとしたら歩すらない fact18: とある物が引っ返すということはないかあるいは病原菌であるかまたは両方ともであるならば歯痒いということはない ; $hypothesis$ = あの日本企業は臨検であるし歩す ; $proof$ = 
fact14 & fact9 -> int1: この早治鞠は引っ返さない; int1 -> int2: この早治鞠は引っ返さないかまたは病原菌であるかまたは両方である; fact18 -> int3: もしもこの早治鞠が引っ返すということはないかもしくは病原菌であるかどちらもだとするとそれは歯痒くない; int2 & int3 -> int4: この早治鞠は歯痒くない; fact17 -> int5: もし「この早治鞠は歯痒いということはない」ということは本当だとすれば歩すらない; int4 & int5 -> int6: 「この早治鞠は歩す」ということは成り立たない; int6 & fact15 -> hypothesis; __DISPROVED__
事実1: もし仮にあの日本企業は病原菌でないとしたら「この早治鞠は御寒くてさらに憎らしい」ということは成り立たない
事実2: 何かは病原菌でないなら臨検だしさらに歩す
事実3: 仮に何かは個別でないとすると負傷するしおまけに引っ返す
事実4: もし仮にとある物は歯痒くないならば「引っ返すし病原菌である」ということは偽だ
事実5: 「とあるものは病原菌だ」ということは真実であるならば「それは歯痒くない」ということは成り立つ
事実6: もしもなんらかのものが突き抜けないかまたは喉頸であるならばそれは色っぽくない
事実7: 仮にあの日本企業は臨検であるがしかし難しかないならば追い付かない
事実8: 仮に何かは歩すらないかまたはそれは病原菌であるかもしくは両方であるなら難しかない
事実9: この早治鞠は追い付くけど難しかない
事実10: もしその生産ネットワークが個別だけど置き場所だということはないとしたらあの物質利益至上主義は臨検である
事実11: その生産ネットワークはネイティブらしいということはなくて速報値でない
事実12: この早治鞠は追い付く
事実13: もしあの物質利益至上主義は臨検であるとしたら「負傷するけど歩すらない」ということは間違っている
事実14: この早治鞠が追い付くけれど難しいということはないならそれは引っ返さない
事実15: 仮にこの早治鞠は歩すらないとしたら「あの日本企業は臨検であるしおまけに歩す」ということは誤っている
事実16: その生産ネットワークがネイティブらしくないとしたら個別であるが置き場所だということはない
事実17: 仮になんらかの物が歯痒くないとしたら歩すらない
事実18: とある物が引っ返すということはないかあるいは病原菌であるかまたは両方ともであるならば歯痒いということはない

仮説: あの日本企業は臨検であるし歩す
1. 事実14と事実9から、推論1: "この早治鞠は引っ返さない"が導かれる
2. 推論1から、推論2: "この早治鞠は引っ返さないかまたは病原菌であるかまたは両方である"が導かれる
3. 事実18から、推論3: "もしもこの早治鞠が引っ返すということはないかもしくは病原菌であるかどちらもだとするとそれは歯痒くない"が導かれる
4. 推論2と推論3から、推論4: "この早治鞠は歯痒くない"が導かれる
5. 事実17から、推論5: "もし「この早治鞠は歯痒いということはない」ということは本当だとすれば歩すらない"が導かれる
6. 推論4と推論5から、推論6: "「この早治鞠は歩す」ということは成り立たない"が導かれる
7. 推論6と事実15から、仮説が否定される

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