「この環境取り引き報告書は探索しない」ということは成り立つ
fact1: 仮にこの環境取り引き報告書が激しいとすると写真全体でないかもしくは手酷くないかあるいは両方ともである fact2: もしも「この気室は満たすかあるいはそれは激しくないかあるいは両方だ」ということは成り立つということはないならあの潜伏期は激しいということはない fact3: 激しいということはない物は手酷い fact4: もしもなんらかの物は写真全体であるとすれば「探索する一方で手酷くない」ということは嘘である fact5: もし何らかの物は写真全体でないとすると探索する fact6: もしこの気室は人部だとすると「満たすかあるいは激しくない」ということは誤りである fact7: この環境取り引き報告書は激しい fact8: 仮に「あるものは探索する一方で手酷くない」ということは誤っているならそれは探索しない fact9: 登山家らしくない物は乱れ切る fact10: 手酷くないものは探索する fact11: その法線は探索する fact12: この気室が汲み出さないとすればそれは人部でそれは久し
fact5 -> int1: もしこの環境取り引き報告書は写真全体であるということはないならばそれは探索する; fact7 & fact1 -> int2: この環境取り引き報告書は写真全体でないかあるいはそれは手酷くないかまたは両方ともだ; fact10 -> int3: もしこの環境取り引き報告書は手酷いということはないとすれば「それは探索する」ということは成り立つ; int1 & int2 & int3 -> hypothesis;
この環境取り引き報告書は探索しない
fact14 -> int4: 仮に「この環境取り引き報告書は探索する一方で手酷くない」ということは偽なら探索しない; fact13 -> int5: この環境取り引き報告書は写真全体だとしたら「探索するが手酷くない」ということは成り立つということはない;
$facts$ = fact1: 仮にこの環境取り引き報告書が激しいとすると写真全体でないかもしくは手酷くないかあるいは両方ともである fact2: もしも「この気室は満たすかあるいはそれは激しくないかあるいは両方だ」ということは成り立つということはないならあの潜伏期は激しいということはない fact3: 激しいということはない物は手酷い fact4: もしもなんらかの物は写真全体であるとすれば「探索する一方で手酷くない」ということは嘘である fact5: もし何らかの物は写真全体でないとすると探索する fact6: もしこの気室は人部だとすると「満たすかあるいは激しくない」ということは誤りである fact7: この環境取り引き報告書は激しい fact8: 仮に「あるものは探索する一方で手酷くない」ということは誤っているならそれは探索しない fact9: 登山家らしくない物は乱れ切る fact10: 手酷くないものは探索する fact11: その法線は探索する fact12: この気室が汲み出さないとすればそれは人部でそれは久し ; $hypothesis$ = 「この環境取り引き報告書は探索しない」ということは成り立つ ; $proof$ = 
fact5 -> int1: もしこの環境取り引き報告書は写真全体であるということはないならばそれは探索する; fact7 & fact1 -> int2: この環境取り引き報告書は写真全体でないかあるいはそれは手酷くないかまたは両方ともだ; fact10 -> int3: もしこの環境取り引き報告書は手酷いということはないとすれば「それは探索する」ということは成り立つ; int1 & int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にこの環境取り引き報告書が激しいとすると写真全体でないかもしくは手酷くないかあるいは両方ともである
事実2: もしも「この気室は満たすかあるいはそれは激しくないかあるいは両方だ」ということは成り立つということはないならあの潜伏期は激しいということはない
事実3: 激しいということはない物は手酷い
事実4: もしもなんらかの物は写真全体であるとすれば「探索する一方で手酷くない」ということは嘘である
事実5: もし何らかの物は写真全体でないとすると探索する
事実6: もしこの気室は人部だとすると「満たすかあるいは激しくない」ということは誤りである
事実7: この環境取り引き報告書は激しい
事実8: 仮に「あるものは探索する一方で手酷くない」ということは誤っているならそれは探索しない
事実9: 登山家らしくない物は乱れ切る
事実10: 手酷くないものは探索する
事実11: その法線は探索する
事実12: この気室が汲み出さないとすればそれは人部でそれは久し

仮説: 「この環境取り引き報告書は探索しない」ということは成り立つ
1. 事実5から、推論1: "もしこの環境取り引き報告書は写真全体であるということはないならばそれは探索する"が導かれる
2. 事実7と事実1から、推論2: "この環境取り引き報告書は写真全体でないかあるいはそれは手酷くないかまたは両方ともだ"が導かれる
3. 事実10から、推論3: "もしこの環境取り引き報告書は手酷いということはないとすれば「それは探索する」ということは成り立つ"が導かれる
4. 推論1と推論2と推論3から、仮説が否定される

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