この指導者達は粒子間であるということはない
fact1: その無文は目籠でない fact2: 「その無文は目籠であるかまたは歯医者さんであるかあるいは両方だ」ということは成り立たない fact3: もしその無文は生活環境主義だということはないとすると「この指導者達は加工し易いかもしくは生活環境主義であるということはないか両方ともである」ということは偽である fact4: もし仮に「その無文は目籠であるか歯医者さんであるかもしくは両方である」ということは成り立たないなら生活環境主義でない fact5: 「その一縷は完了出来るかもしくはそれは監視出来る」ということは嘘である fact6: 「その無文は加工し易くて粒子間である」ということは誤りであるならばこの指導者達は粒子間でない fact7: この指導者達が実験技術だということはないとすればその無文は生活環境主義でその上不良債権問題だ fact8: この指導者達は加工し易くないとしたら「その無文は加工し易い」ということは本当である fact9: もし仮に「あるものは加工し易いか生活環境主義でない」ということは嘘だとすればそれは粒子間である fact10: もしもその無文が生活環境主義だということはないとするとこの指導者達は加工し易いということはない fact11: その無文が集め易いならそれは加工し易い
fact4 & fact2 -> int1: その無文は生活環境主義でない; int1 & fact3 -> int2: 「この指導者達は加工し易いかあるいは生活環境主義でない」ということは成り立たない; fact9 -> int3: もし「「この指導者達は加工し易いかまたは生活環境主義でないかまたは両方だ」ということは事実と異なる」ということは成り立つなら粒子間である; int2 & int3 -> hypothesis;
fact4 & fact2 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬({A}{b} v ¬{B}{b}); fact9 -> int3: ¬({A}{b} v ¬{B}{b}) -> {C}{b}; int2 & int3 -> hypothesis;
この指導者達は粒子間でない
$facts$ = fact1: その無文は目籠でない fact2: 「その無文は目籠であるかまたは歯医者さんであるかあるいは両方だ」ということは成り立たない fact3: もしその無文は生活環境主義だということはないとすると「この指導者達は加工し易いかもしくは生活環境主義であるということはないか両方ともである」ということは偽である fact4: もし仮に「その無文は目籠であるか歯医者さんであるかもしくは両方である」ということは成り立たないなら生活環境主義でない fact5: 「その一縷は完了出来るかもしくはそれは監視出来る」ということは嘘である fact6: 「その無文は加工し易くて粒子間である」ということは誤りであるならばこの指導者達は粒子間でない fact7: この指導者達が実験技術だということはないとすればその無文は生活環境主義でその上不良債権問題だ fact8: この指導者達は加工し易くないとしたら「その無文は加工し易い」ということは本当である fact9: もし仮に「あるものは加工し易いか生活環境主義でない」ということは嘘だとすればそれは粒子間である fact10: もしもその無文が生活環境主義だということはないとするとこの指導者達は加工し易いということはない fact11: その無文が集め易いならそれは加工し易い ; $hypothesis$ = この指導者達は粒子間であるということはない ; $proof$ = 
fact4 & fact2 -> int1: その無文は生活環境主義でない; int1 & fact3 -> int2: 「この指導者達は加工し易いかあるいは生活環境主義でない」ということは成り立たない; fact9 -> int3: もし「「この指導者達は加工し易いかまたは生活環境主義でないかまたは両方だ」ということは事実と異なる」ということは成り立つなら粒子間である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その無文は目籠でない
事実2: 「その無文は目籠であるかまたは歯医者さんであるかあるいは両方だ」ということは成り立たない
事実3: もしその無文は生活環境主義だということはないとすると「この指導者達は加工し易いかもしくは生活環境主義であるということはないか両方ともである」ということは偽である
事実4: もし仮に「その無文は目籠であるか歯医者さんであるかもしくは両方である」ということは成り立たないなら生活環境主義でない
事実5: 「その一縷は完了出来るかもしくはそれは監視出来る」ということは嘘である
事実6: 「その無文は加工し易くて粒子間である」ということは誤りであるならばこの指導者達は粒子間でない
事実7: この指導者達が実験技術だということはないとすればその無文は生活環境主義でその上不良債権問題だ
事実8: この指導者達は加工し易くないとしたら「その無文は加工し易い」ということは本当である
事実9: もし仮に「あるものは加工し易いか生活環境主義でない」ということは嘘だとすればそれは粒子間である
事実10: もしもその無文が生活環境主義だということはないとするとこの指導者達は加工し易いということはない
事実11: その無文が集め易いならそれは加工し易い

仮説: この指導者達は粒子間であるということはない
1. 事実4と事実2から、推論1: "その無文は生活環境主義でない"が導かれる
2. 推論1と事実3から、推論2: "「この指導者達は加工し易いかあるいは生活環境主義でない」ということは成り立たない"が導かれる
3. 事実9から、推論3: "もし「「この指導者達は加工し易いかまたは生活環境主義でないかまたは両方だ」ということは事実と異なる」ということは成り立つなら粒子間である"が導かれる
4. 推論2と推論3から、仮説が否定される

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