あの小金は孤島だ
fact1: 「何らかの物は時日だ一方で候文でない」ということは事実と異なるならそれは孤島でない fact2: 仮にとある物は時日でないならば孤島でない fact3: もし仮に「なにがしかのものは最高値であるが侵入し易くない」ということは成り立たないならそれは叩き直さない fact4: なんらかのものは堪能出来る fact5: もし「「堪能出来る」ということは確かである」ものはあるとすると「あの小金は時日だ一方で候文でない」ということは嘘だ
fact4 & fact5 -> int1: 「あの小金は時日だけれど候文だということはない」ということは成り立たない; fact1 -> int2: もしも「あの小金は時日だが候文であるということはない」ということは成り立つということはないなら「孤島でない」ということは確かだ; int1 & int2 -> hypothesis;
fact4 & fact5 -> int1: ¬({B}{a} & ¬{C}{a}); fact1 -> int2: ¬({B}{a} & ¬{C}{a}) -> ¬{D}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 「何らかの物は時日だ一方で候文でない」ということは事実と異なるならそれは孤島でない fact2: 仮にとある物は時日でないならば孤島でない fact3: もし仮に「なにがしかのものは最高値であるが侵入し易くない」ということは成り立たないならそれは叩き直さない fact4: なんらかのものは堪能出来る fact5: もし「「堪能出来る」ということは確かである」ものはあるとすると「あの小金は時日だ一方で候文でない」ということは嘘だ ; $hypothesis$ = あの小金は孤島だ ; $proof$ = 
fact4 & fact5 -> int1: 「あの小金は時日だけれど候文だということはない」ということは成り立たない; fact1 -> int2: もしも「あの小金は時日だが候文であるということはない」ということは成り立つということはないなら「孤島でない」ということは確かだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「何らかの物は時日だ一方で候文でない」ということは事実と異なるならそれは孤島でない
事実2: 仮にとある物は時日でないならば孤島でない
事実3: もし仮に「なにがしかのものは最高値であるが侵入し易くない」ということは成り立たないならそれは叩き直さない
事実4: なんらかのものは堪能出来る
事実5: もし「「堪能出来る」ということは確かである」ものはあるとすると「あの小金は時日だ一方で候文でない」ということは嘘だ

仮説: あの小金は孤島だ
1. 事実4と事実5から、推論1: "「あの小金は時日だけれど候文だということはない」ということは成り立たない"が導かれる
2. 事実1から、推論2: "もしも「あの小金は時日だが候文であるということはない」ということは成り立つということはないなら「孤島でない」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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