「その具足は作業し易い」ということは成り立つ
fact1: もしもなにかは青白くないとすると「それが言い訳はましくらないけどモンキー・パンチだ」ということは事実と異なる fact2: もし仮になにがしかの物は痛むかもしくは温くないかもしくはどちらもであるなら「それは青白くない」ということは真実だ fact3: もし仮に「言い訳がましくらないけど見本工事商法な」ものがあればその具足は作業し易くない fact4: もしその具足が作業し易いとするとあの足鰭は作業し易くない fact5: 「言い訳がましいということはないし更に見本工事商法な」ものはある fact6: もし何らかの物は白しないとすれば「温くてそれは難い」ということは成り立たない fact7: この僭越は言い訳がましかない fact8: もし仮に「温くない」物があるとするとその具足は痛むかもしくは温くないかあるいは両方ともである fact9: もしも「とあるものは温くておまけに難い」ということは嘘だとすればそれは温くない fact10: もし仮にその具足が見本工事商法でないならあの足鰭は作業し易くない fact11: もしも「なんらかの物が言い訳はましくらない一方でそれはモンキー・パンチである」ということは誤りだとしたら言い訳がましい fact12: その法会は白しない fact13: もしもとある物が言い訳がましいとすればそれは作業し易いかまたは見本工事商法でない
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
「あの足鰭は作業し易くない」ということは真実である
fact14 -> int1: もし仮にその具足が言い訳がましいならばそれは作業し易いかあるいは見本工事商法だということはないかあるいはどちらもだ; fact18 -> int2: もし仮に「その具足が言い訳はましくらない一方でモンキー・パンチである」ということは偽であるとすれば言い訳がましい; fact15 -> int3: 仮にその具足は青白くないならば「それは言い訳がましかないがモンキー・パンチだ」ということは誤っている; fact21 -> int4: その具足が痛むかあるいはそれは温くないかもしくは両方ともならそれは青白くない; fact19 -> int5: もし「その法会は温いし難い」ということは成り立たないとしたらそれは温くない; fact16 -> int6: その法会は白しということはないとすると「それは温いししかも難い」ということは成り立つということはない; int6 & fact17 -> int7: 「その法会は温くて難い」ということは成り立たない; int5 & int7 -> int8: その法会は温くない; int8 -> int9: 「温くない」ものはある; int9 & fact20 -> int10: その具足は痛むかあるいはそれは温くないか両方ともである; int4 & int10 -> int11: その具足は青白くない; int3 & int11 -> int12: 「その具足が言い訳はましくらないけどモンキー・パンチである」ということは偽だ; int2 & int12 -> int13: その具足は言い訳がましい; int1 & int13 -> int14: その具足は作業し易いかまたは見本工事商法でないかもしくは両方ともである; int14 & fact23 & fact22 -> hypothesis;
$facts$ = fact1: もしもなにかは青白くないとすると「それが言い訳はましくらないけどモンキー・パンチだ」ということは事実と異なる fact2: もし仮になにがしかの物は痛むかもしくは温くないかもしくはどちらもであるなら「それは青白くない」ということは真実だ fact3: もし仮に「言い訳がましくらないけど見本工事商法な」ものがあればその具足は作業し易くない fact4: もしその具足が作業し易いとするとあの足鰭は作業し易くない fact5: 「言い訳がましいということはないし更に見本工事商法な」ものはある fact6: もし何らかの物は白しないとすれば「温くてそれは難い」ということは成り立たない fact7: この僭越は言い訳がましかない fact8: もし仮に「温くない」物があるとするとその具足は痛むかもしくは温くないかあるいは両方ともである fact9: もしも「とあるものは温くておまけに難い」ということは嘘だとすればそれは温くない fact10: もし仮にその具足が見本工事商法でないならあの足鰭は作業し易くない fact11: もしも「なんらかの物が言い訳はましくらない一方でそれはモンキー・パンチである」ということは誤りだとしたら言い訳がましい fact12: その法会は白しない fact13: もしもとある物が言い訳がましいとすればそれは作業し易いかまたは見本工事商法でない ; $hypothesis$ = 「その具足は作業し易い」ということは成り立つ ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもなにかは青白くないとすると「それが言い訳はましくらないけどモンキー・パンチだ」ということは事実と異なる
事実2: もし仮になにがしかの物は痛むかもしくは温くないかもしくはどちらもであるなら「それは青白くない」ということは真実だ
事実3: もし仮に「言い訳がましくらないけど見本工事商法な」ものがあればその具足は作業し易くない
事実4: もしその具足が作業し易いとするとあの足鰭は作業し易くない
事実5: 「言い訳がましいということはないし更に見本工事商法な」ものはある
事実6: もし何らかの物は白しないとすれば「温くてそれは難い」ということは成り立たない
事実7: この僭越は言い訳がましかない
事実8: もし仮に「温くない」物があるとするとその具足は痛むかもしくは温くないかあるいは両方ともである
事実9: もしも「とあるものは温くておまけに難い」ということは嘘だとすればそれは温くない
事実10: もし仮にその具足が見本工事商法でないならあの足鰭は作業し易くない
事実11: もしも「なんらかの物が言い訳はましくらない一方でそれはモンキー・パンチである」ということは誤りだとしたら言い訳がましい
事実12: その法会は白しない
事実13: もしもとある物が言い訳がましいとすればそれは作業し易いかまたは見本工事商法でない

仮説: 「その具足は作業し易い」ということは成り立つ
1. 事実5と事実3から、仮説が否定される

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