「「もしもけばけばしいということはないならば白くない」物はある」ということは間違っている
fact1: もし仮にこの中華料理が励行するとしたらそれはど偉いしそれにそれは従属しない fact2: この中華料理は励行する fact3: もし仮になんらかのものはけばけばしくないとしたら「「患者以外でないけれどパピーウォーカーだ」ということは事実である」ということは間違いだ fact4: 仮にど偉いものが従属するならそれは患者以外だ fact5: もしあの創部がパピーウォーカーでなくてそれにそれがけばけばしくないとすれば白くない fact6: その年変動は励行する fact7: もしも「申し遅れる」物があるならあの法益性は標榜するがしかしそれは決め難いということはない fact8: あの創部は白い fact9: 「「申し遅れる」ということは確かである」ものはある fact10: 仮になんらかの物が出航すればそれはど偉いがしかし頼もしくない fact11: もしこの中華料理が患者以外であるけどけばけばしくないならばあの創部は励行しない fact12: この中華料理は決め難い fact13: 仮にこの中華料理が出航しないが患者以外であるとしたらあの創部はパピーウォーカーでない fact14: もしあの法益性が標榜するけど決め難いということはないとしたらこの中華料理は出航しない fact15: もしど偉いものが従属しないならば患者以外である
fact15 -> int1: 仮にこの中華料理はど偉いがしかし従属しないとしたら「患者以外である」ということは正しい; fact1 & fact2 -> int2: この中華料理はど偉いがそれは従属するということはない; int1 & int2 -> int3: この中華料理は患者以外だ; fact9 & fact7 -> int4: あの法益性は標榜するがしかし決め難くない; fact14 & int4 -> int5: この中華料理は出航するということはない; int3 & int5 -> int6: この中華料理は出航するということはないが患者以外だ; int6 & fact13 -> int7: あの創部はパピーウォーカーでない; void -> assump1: 以下のように仮定する。「あの創部はけばけばしくない」ということは成り立つ; int7 & assump1 -> int8: あの創部はパピーウォーカーでなくてその上けばけばしくない; int8 & fact5 -> int9: あの創部は白くない; [assump1] & int9 -> int10: あの創部がけばけばしくないとするとそれは白くない; int10 -> hypothesis;
「あの飯詰めはど偉い一方で頼もしくない」ということは誤りでない
fact16 -> int11: もし仮にあの飯詰めが出航するならそれはど偉いけど頼もしくない; fact17 -> int12: もしあの飯詰めはけばけばしくないとすると「患者以外でないけどパピーウォーカーだ」ということは間違っている;
$facts$ = fact1: もし仮にこの中華料理が励行するとしたらそれはど偉いしそれにそれは従属しない fact2: この中華料理は励行する fact3: もし仮になんらかのものはけばけばしくないとしたら「「患者以外でないけれどパピーウォーカーだ」ということは事実である」ということは間違いだ fact4: 仮にど偉いものが従属するならそれは患者以外だ fact5: もしあの創部がパピーウォーカーでなくてそれにそれがけばけばしくないとすれば白くない fact6: その年変動は励行する fact7: もしも「申し遅れる」物があるならあの法益性は標榜するがしかしそれは決め難いということはない fact8: あの創部は白い fact9: 「「申し遅れる」ということは確かである」ものはある fact10: 仮になんらかの物が出航すればそれはど偉いがしかし頼もしくない fact11: もしこの中華料理が患者以外であるけどけばけばしくないならばあの創部は励行しない fact12: この中華料理は決め難い fact13: 仮にこの中華料理が出航しないが患者以外であるとしたらあの創部はパピーウォーカーでない fact14: もしあの法益性が標榜するけど決め難いということはないとしたらこの中華料理は出航しない fact15: もしど偉いものが従属しないならば患者以外である ; $hypothesis$ = 「「もしもけばけばしいということはないならば白くない」物はある」ということは間違っている ; $proof$ = 
fact15 -> int1: 仮にこの中華料理はど偉いがしかし従属しないとしたら「患者以外である」ということは正しい; fact1 & fact2 -> int2: この中華料理はど偉いがそれは従属するということはない; int1 & int2 -> int3: この中華料理は患者以外だ; fact9 & fact7 -> int4: あの法益性は標榜するがしかし決め難くない; fact14 & int4 -> int5: この中華料理は出航するということはない; int3 & int5 -> int6: この中華料理は出航するということはないが患者以外だ; int6 & fact13 -> int7: あの創部はパピーウォーカーでない; void -> assump1: 以下のように仮定する。「あの創部はけばけばしくない」ということは成り立つ; int7 & assump1 -> int8: あの創部はパピーウォーカーでなくてその上けばけばしくない; int8 & fact5 -> int9: あの創部は白くない; [assump1] & int9 -> int10: あの創部がけばけばしくないとするとそれは白くない; int10 -> hypothesis; __DISPROVED__
事実1: もし仮にこの中華料理が励行するとしたらそれはど偉いしそれにそれは従属しない
事実2: この中華料理は励行する
事実3: もし仮になんらかのものはけばけばしくないとしたら「「患者以外でないけれどパピーウォーカーだ」ということは事実である」ということは間違いだ
事実4: 仮にど偉いものが従属するならそれは患者以外だ
事実5: もしあの創部がパピーウォーカーでなくてそれにそれがけばけばしくないとすれば白くない
事実6: その年変動は励行する
事実7: もしも「申し遅れる」物があるならあの法益性は標榜するがしかしそれは決め難いということはない
事実8: あの創部は白い
事実9: 「「申し遅れる」ということは確かである」ものはある
事実10: 仮になんらかの物が出航すればそれはど偉いがしかし頼もしくない
事実11: もしこの中華料理が患者以外であるけどけばけばしくないならばあの創部は励行しない
事実12: この中華料理は決め難い
事実13: 仮にこの中華料理が出航しないが患者以外であるとしたらあの創部はパピーウォーカーでない
事実14: もしあの法益性が標榜するけど決め難いということはないとしたらこの中華料理は出航しない
事実15: もしど偉いものが従属しないならば患者以外である

仮説: 「「もしもけばけばしいということはないならば白くない」物はある」ということは間違っている
1. 事実15から、推論1: "仮にこの中華料理はど偉いがしかし従属しないとしたら「患者以外である」ということは正しい"が導かれる
2. 事実1と事実2から、推論2: "この中華料理はど偉いがそれは従属するということはない"が導かれる
3. 推論1と推論2から、推論3: "この中華料理は患者以外だ"が導かれる
4. 事実9と事実7から、推論4: "あの法益性は標榜するがしかし決め難くない"が導かれる
5. 事実14と推論4から、推論5: "この中華料理は出航するということはない"が導かれる
6. 推論3と推論5から、推論6: "この中華料理は出航するということはないが患者以外だ"が導かれる
7. 推論6と事実13から、推論7: "あの創部はパピーウォーカーでない"が導かれる
8. 仮定1: 以下のように仮定する。「あの創部はけばけばしくない」ということは成り立つ
9. 推論7と仮定1から、推論8: "あの創部はパピーウォーカーでなくてその上けばけばしくない"が導かれる
10. 推論8と事実5から、推論9: "あの創部は白くない"が導かれる
11. [仮定1]と推論9から、推論10: "あの創部がけばけばしくないとするとそれは白くない"が導かれる
12. 推論10から、仮説が否定される

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