あのサーキット走行は茶色いということはないしさらに御見舞いしない
fact1: あのサーキット走行は解さないとすると「それは茶色いが御見舞いしない」ということは誤っている fact2: 「もしもなんらかのものは解さないなら「「茶色くないししかも御見舞いしない」ということは真実である」ということは事実と異なる」ということは成り立つ fact3: もしもなにかは解さないとしたら「それは茶色い一方で御見舞いしない」ということは誤っている fact4: 全ての物は遂行出来なくて加えて解さない fact5: すべての物は遂行出来ない fact6: 「あのサーキット走行は茶色い一方で御見舞いしない」ということは成り立たない fact7: 仮に何かは解さないならば「それは茶色くないけど御見舞いする」ということは嘘だ fact8: あのサーキット走行は遂行出来るということはない fact9: 「「あのサーキット走行は茶色くないが御見舞いする」ということは事実と異なる」ということは成り立つ fact10: 仮にあのサーキット走行は解さないとすると「それは茶色くない一方で御見舞いする」ということは成り立たない
fact4 -> int1: あのサーキット走行は遂行出来ないしかつ解さない; int1 -> int2: あのサーキット走行は解さない; fact2 -> int3: もしあのサーキット走行は解さないなら「それは茶色くないし御見舞いしない」ということは事実でない; int2 & int3 -> hypothesis;
$facts$ = fact1: あのサーキット走行は解さないとすると「それは茶色いが御見舞いしない」ということは誤っている fact2: 「もしもなんらかのものは解さないなら「「茶色くないししかも御見舞いしない」ということは真実である」ということは事実と異なる」ということは成り立つ fact3: もしもなにかは解さないとしたら「それは茶色い一方で御見舞いしない」ということは誤っている fact4: 全ての物は遂行出来なくて加えて解さない fact5: すべての物は遂行出来ない fact6: 「あのサーキット走行は茶色い一方で御見舞いしない」ということは成り立たない fact7: 仮に何かは解さないならば「それは茶色くないけど御見舞いする」ということは嘘だ fact8: あのサーキット走行は遂行出来るということはない fact9: 「「あのサーキット走行は茶色くないが御見舞いする」ということは事実と異なる」ということは成り立つ fact10: 仮にあのサーキット走行は解さないとすると「それは茶色くない一方で御見舞いする」ということは成り立たない ; $hypothesis$ = あのサーキット走行は茶色いということはないしさらに御見舞いしない ; $proof$ = 
fact4 -> int1: あのサーキット走行は遂行出来ないしかつ解さない; int1 -> int2: あのサーキット走行は解さない; fact2 -> int3: もしあのサーキット走行は解さないなら「それは茶色くないし御見舞いしない」ということは事実でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あのサーキット走行は解さないとすると「それは茶色いが御見舞いしない」ということは誤っている
事実2: 「もしもなんらかのものは解さないなら「「茶色くないししかも御見舞いしない」ということは真実である」ということは事実と異なる」ということは成り立つ
事実3: もしもなにかは解さないとしたら「それは茶色い一方で御見舞いしない」ということは誤っている
事実4: 全ての物は遂行出来なくて加えて解さない
事実5: すべての物は遂行出来ない
事実6: 「あのサーキット走行は茶色い一方で御見舞いしない」ということは成り立たない
事実7: 仮に何かは解さないならば「それは茶色くないけど御見舞いする」ということは嘘だ
事実8: あのサーキット走行は遂行出来るということはない
事実9: 「「あのサーキット走行は茶色くないが御見舞いする」ということは事実と異なる」ということは成り立つ
事実10: 仮にあのサーキット走行は解さないとすると「それは茶色くない一方で御見舞いする」ということは成り立たない

仮説: あのサーキット走行は茶色いということはないしさらに御見舞いしない
1. 事実4から、推論1: "あのサーキット走行は遂行出来ないしかつ解さない"が導かれる
2. 推論1から、推論2: "あのサーキット走行は解さない"が導かれる
3. 事実2から、推論3: "もしあのサーキット走行は解さないなら「それは茶色くないし御見舞いしない」ということは事実でない"が導かれる
4. 推論2と推論3から、仮説が否定される

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