「その天田宿は依拠しないけどそれは白し」ということは誤りだ
fact1: この両団子は定住する fact2: 仮にこのポケットパークは定住しないとしたら「それは依拠するし更に白しない」ということは間違っている fact3: もしも何かは卑しいとすればそれは走行しなくておまけに定住するということはない fact4: 「このポケットパークは白し」ということは成り立つ fact5: この両団子が走行するとするとその天田宿は白し fact6: 「定住するということはない」物はあるとしたら「その天田宿は依拠しない一方で白し」ということは誤りだ fact7: この両団子は歩み続けない fact8: 仮にこのポケットパークが依拠するとするとその天田宿は定住する fact9: その天田宿は程遠い fact10: この両団子は走行する fact11: 「その天田宿は走行する」ということは成り立つとすれば「この両団子は白しない」ということは成り立つ fact12: このポケットパークは定住する fact13: このポケットパークが定住するとしたらその天田宿は依拠しない fact14: このポケットパークは走行する fact15: あの配分的正義は走行する fact16: あの二次要素は取り締まれるということはないけど白し fact17: この両団子は恙無い fact18: その日除けは走行する fact19: 「その天田宿は走行する」ということは成り立つ fact20: もしもこの両団子が依拠するとしたらその天田宿は走行する fact21: もしこの両団子が白しならその天田宿は走行しない
fact13 & fact12 -> int1: その天田宿は依拠しない; fact10 & fact5 -> int2: その天田宿は白し; int1 & int2 -> hypothesis;
fact13 & fact12 -> int1: ¬{B}{b}; fact10 & fact5 -> int2: {C}{b}; int1 & int2 -> hypothesis;
「この竹専用は白し」ということは本当だ
$facts$ = fact1: この両団子は定住する fact2: 仮にこのポケットパークは定住しないとしたら「それは依拠するし更に白しない」ということは間違っている fact3: もしも何かは卑しいとすればそれは走行しなくておまけに定住するということはない fact4: 「このポケットパークは白し」ということは成り立つ fact5: この両団子が走行するとするとその天田宿は白し fact6: 「定住するということはない」物はあるとしたら「その天田宿は依拠しない一方で白し」ということは誤りだ fact7: この両団子は歩み続けない fact8: 仮にこのポケットパークが依拠するとするとその天田宿は定住する fact9: その天田宿は程遠い fact10: この両団子は走行する fact11: 「その天田宿は走行する」ということは成り立つとすれば「この両団子は白しない」ということは成り立つ fact12: このポケットパークは定住する fact13: このポケットパークが定住するとしたらその天田宿は依拠しない fact14: このポケットパークは走行する fact15: あの配分的正義は走行する fact16: あの二次要素は取り締まれるということはないけど白し fact17: この両団子は恙無い fact18: その日除けは走行する fact19: 「その天田宿は走行する」ということは成り立つ fact20: もしもこの両団子が依拠するとしたらその天田宿は走行する fact21: もしこの両団子が白しならその天田宿は走行しない ; $hypothesis$ = 「その天田宿は依拠しないけどそれは白し」ということは誤りだ ; $proof$ = 
fact13 & fact12 -> int1: その天田宿は依拠しない; fact10 & fact5 -> int2: その天田宿は白し; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この両団子は定住する
事実2: 仮にこのポケットパークは定住しないとしたら「それは依拠するし更に白しない」ということは間違っている
事実3: もしも何かは卑しいとすればそれは走行しなくておまけに定住するということはない
事実4: 「このポケットパークは白し」ということは成り立つ
事実5: この両団子が走行するとするとその天田宿は白し
事実6: 「定住するということはない」物はあるとしたら「その天田宿は依拠しない一方で白し」ということは誤りだ
事実7: この両団子は歩み続けない
事実8: 仮にこのポケットパークが依拠するとするとその天田宿は定住する
事実9: その天田宿は程遠い
事実10: この両団子は走行する
事実11: 「その天田宿は走行する」ということは成り立つとすれば「この両団子は白しない」ということは成り立つ
事実12: このポケットパークは定住する
事実13: このポケットパークが定住するとしたらその天田宿は依拠しない
事実14: このポケットパークは走行する
事実15: あの配分的正義は走行する
事実16: あの二次要素は取り締まれるということはないけど白し
事実17: この両団子は恙無い
事実18: その日除けは走行する
事実19: 「その天田宿は走行する」ということは成り立つ
事実20: もしもこの両団子が依拠するとしたらその天田宿は走行する
事実21: もしこの両団子が白しならその天田宿は走行しない

仮説: 「その天田宿は依拠しないけどそれは白し」ということは誤りだ
1. 事実13と事実12から、推論1: "その天田宿は依拠しない"が導かれる
2. 事実10と事実5から、推論2: "その天田宿は白し"が導かれる
3. 推論1と推論2から、仮説が否定される

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