その領地は術衣だ
fact1: 「遠しということはない」ものはある fact2: 「なにがしかの物はＡＤＨであるし更にそれは譲渡費用だ」ということは誤りだとしたら芽胞菌でない fact3: 惜しくない物はあれば「この今日的状況は愚人でないがしかし惜しい」ということは成り立たない fact4: 何かは惜しくないとしたら「それはＡＤＨであるし譲渡費用である」ということは成り立たない fact5: もし「なにがしかの物は食い込めるということはないがしかしそれは遠し」ということは偽だとすればそれは愚人でない fact6: もし「この今日的状況は芽胞菌でない」ということは成り立つなら「あの御済みは芽胞菌でないけれど実行し易い」ということは偽である fact7: この今日的状況は惜しくない fact8: 仮に遠しないものはあるなら「その領地は食い込めないけれどそれは遠し」ということは成り立つということはない fact9: 「船酔いである」物はある fact10: もし何らかの物はファックスビューアでなくて加えて愚人でないなら「術衣でない」ということは成り立つ fact11: 仮に「あの御済みは芽胞菌でないけれど実行し易い」ということは成り立たないならばその領地はファックスビューアだということはない
fact4 -> int1: この今日的状況は惜しくないなら「それはＡＤＨであるしかつそれは譲渡費用だ」ということは事実と異なる; int1 & fact7 -> int2: 「この今日的状況がＡＤＨだしその上譲渡費用だ」ということは成り立たない; fact2 -> int3: 仮に「この今日的状況はＡＤＨであるし加えてそれは譲渡費用である」ということは成り立たないならそれは芽胞菌でない; int2 & int3 -> int4: この今日的状況は芽胞菌でない; int4 & fact6 -> int5: 「あの御済みは芽胞菌でないがそれは実行し易い」ということは成り立たない; int5 & fact11 -> int6: その領地はファックスビューアだということはない; fact1 & fact8 -> int7: 「「その領地は食い込めないがしかしそれは遠し」ということは正しい」ということは誤りである; fact5 -> int8: 「その領地は食い込めないがしかしそれは遠し」ということは誤っているとしたらそれは愚人でない; int7 & int8 -> int9: その領地は愚人でない; int6 & int9 -> int10: その領地はファックスビューアでなくてかつ愚人でない; fact10 -> int11: もし仮にその領地がファックスビューアでなくてそれは愚人でないとしたらそれは術衣でない; int10 & int11 -> hypothesis;
$facts$ = fact1: 「遠しということはない」ものはある fact2: 「なにがしかの物はＡＤＨであるし更にそれは譲渡費用だ」ということは誤りだとしたら芽胞菌でない fact3: 惜しくない物はあれば「この今日的状況は愚人でないがしかし惜しい」ということは成り立たない fact4: 何かは惜しくないとしたら「それはＡＤＨであるし譲渡費用である」ということは成り立たない fact5: もし「なにがしかの物は食い込めるということはないがしかしそれは遠し」ということは偽だとすればそれは愚人でない fact6: もし「この今日的状況は芽胞菌でない」ということは成り立つなら「あの御済みは芽胞菌でないけれど実行し易い」ということは偽である fact7: この今日的状況は惜しくない fact8: 仮に遠しないものはあるなら「その領地は食い込めないけれどそれは遠し」ということは成り立つということはない fact9: 「船酔いである」物はある fact10: もし何らかの物はファックスビューアでなくて加えて愚人でないなら「術衣でない」ということは成り立つ fact11: 仮に「あの御済みは芽胞菌でないけれど実行し易い」ということは成り立たないならばその領地はファックスビューアだということはない ; $hypothesis$ = その領地は術衣だ ; $proof$ = 
fact4 -> int1: この今日的状況は惜しくないなら「それはＡＤＨであるしかつそれは譲渡費用だ」ということは事実と異なる; int1 & fact7 -> int2: 「この今日的状況がＡＤＨだしその上譲渡費用だ」ということは成り立たない; fact2 -> int3: 仮に「この今日的状況はＡＤＨであるし加えてそれは譲渡費用である」ということは成り立たないならそれは芽胞菌でない; int2 & int3 -> int4: この今日的状況は芽胞菌でない; int4 & fact6 -> int5: 「あの御済みは芽胞菌でないがそれは実行し易い」ということは成り立たない; int5 & fact11 -> int6: その領地はファックスビューアだということはない; fact1 & fact8 -> int7: 「「その領地は食い込めないがしかしそれは遠し」ということは正しい」ということは誤りである; fact5 -> int8: 「その領地は食い込めないがしかしそれは遠し」ということは誤っているとしたらそれは愚人でない; int7 & int8 -> int9: その領地は愚人でない; int6 & int9 -> int10: その領地はファックスビューアでなくてかつ愚人でない; fact10 -> int11: もし仮にその領地がファックスビューアでなくてそれは愚人でないとしたらそれは術衣でない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: 「遠しということはない」ものはある
事実2: 「なにがしかの物はＡＤＨであるし更にそれは譲渡費用だ」ということは誤りだとしたら芽胞菌でない
事実3: 惜しくない物はあれば「この今日的状況は愚人でないがしかし惜しい」ということは成り立たない
事実4: 何かは惜しくないとしたら「それはＡＤＨであるし譲渡費用である」ということは成り立たない
事実5: もし「なにがしかの物は食い込めるということはないがしかしそれは遠し」ということは偽だとすればそれは愚人でない
事実6: もし「この今日的状況は芽胞菌でない」ということは成り立つなら「あの御済みは芽胞菌でないけれど実行し易い」ということは偽である
事実7: この今日的状況は惜しくない
事実8: 仮に遠しないものはあるなら「その領地は食い込めないけれどそれは遠し」ということは成り立つということはない
事実9: 「船酔いである」物はある
事実10: もし何らかの物はファックスビューアでなくて加えて愚人でないなら「術衣でない」ということは成り立つ
事実11: 仮に「あの御済みは芽胞菌でないけれど実行し易い」ということは成り立たないならばその領地はファックスビューアだということはない

仮説: その領地は術衣だ
1. 事実4から、推論1: "この今日的状況は惜しくないなら「それはＡＤＨであるしかつそれは譲渡費用だ」ということは事実と異なる"が導かれる
2. 推論1と事実7から、推論2: "「この今日的状況がＡＤＨだしその上譲渡費用だ」ということは成り立たない"が導かれる
3. 事実2から、推論3: "仮に「この今日的状況はＡＤＨであるし加えてそれは譲渡費用である」ということは成り立たないならそれは芽胞菌でない"が導かれる
4. 推論2と推論3から、推論4: "この今日的状況は芽胞菌でない"が導かれる
5. 推論4と事実6から、推論5: "「あの御済みは芽胞菌でないがそれは実行し易い」ということは成り立たない"が導かれる
6. 推論5と事実11から、推論6: "その領地はファックスビューアだということはない"が導かれる
7. 事実1と事実8から、推論7: "「「その領地は食い込めないがしかしそれは遠し」ということは正しい」ということは誤りである"が導かれる
8. 事実5から、推論8: "「その領地は食い込めないがしかしそれは遠し」ということは誤っているとしたらそれは愚人でない"が導かれる
9. 推論7と推論8から、推論9: "その領地は愚人でない"が導かれる
10. 推論6と推論9から、推論10: "その領地はファックスビューアでなくてかつ愚人でない"が導かれる
11. 事実10から、推論11: "もし仮にその領地がファックスビューアでなくてそれは愚人でないとしたらそれは術衣でない"が導かれる
12. 推論10と推論11から、仮説が否定される

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