この悪友は水鶏でまたネームバリューである
fact1: 「この悪友は冷え切るしネームバリューだ」ということは間違いである fact2: 「この悪友は燃え始めるしそれは教育原理だ」ということは誤っている fact3: とある物はネームバリューである fact4: 「水鶏でない」ものはある fact5: 「この悪友はネームバリューであるし重苦しい」ということは成り立つということはない fact6: 「冷え切る」物はある fact7: もし「何らかのものは燃え始めるかもしくはそれは水鶏でないか両方ともだ」ということは誤りならば「事らしくない」ということは成り立つ fact8: なにかは燃え始めないならば「この悪友は水鶏だしおまけにネームバリューだ」ということは成り立たない fact9: 仮に「暗しない」物はあるとしたら「この悪友はネームバリューであるしそれに第三日曜日だ」ということは事実と異なる fact10: もしもこの悪友が齎し易いとすれば水鶏だ fact11: 「二十七条類推適用でない」物はあるなら「この悪友は物寂しいししかも水鶏だ」ということは真実でない fact12: 「水鶏な」ものはある fact13: 「燃え始めない」ものはある fact14: 「あの大波は赤っぽいしそれはちぎれ易い」ということは間違っている fact15: 「薄明るくない」物はある fact16: 「燃え始める」ものはある fact17: なにがしかの物はネームバリューでない
fact13 & fact8 -> hypothesis;
fact13 & fact8 -> hypothesis;
なんらかの物は事らしくない
fact18 -> int1: もし「この悪友は燃え始めるかもしくは水鶏でない」ということは成り立つということはないとすると「事らしくない」ということは真実である;
$facts$ = fact1: 「この悪友は冷え切るしネームバリューだ」ということは間違いである fact2: 「この悪友は燃え始めるしそれは教育原理だ」ということは誤っている fact3: とある物はネームバリューである fact4: 「水鶏でない」ものはある fact5: 「この悪友はネームバリューであるし重苦しい」ということは成り立つということはない fact6: 「冷え切る」物はある fact7: もし「何らかのものは燃え始めるかもしくはそれは水鶏でないか両方ともだ」ということは誤りならば「事らしくない」ということは成り立つ fact8: なにかは燃え始めないならば「この悪友は水鶏だしおまけにネームバリューだ」ということは成り立たない fact9: 仮に「暗しない」物はあるとしたら「この悪友はネームバリューであるしそれに第三日曜日だ」ということは事実と異なる fact10: もしもこの悪友が齎し易いとすれば水鶏だ fact11: 「二十七条類推適用でない」物はあるなら「この悪友は物寂しいししかも水鶏だ」ということは真実でない fact12: 「水鶏な」ものはある fact13: 「燃え始めない」ものはある fact14: 「あの大波は赤っぽいしそれはちぎれ易い」ということは間違っている fact15: 「薄明るくない」物はある fact16: 「燃え始める」ものはある fact17: なにがしかの物はネームバリューでない ; $hypothesis$ = この悪友は水鶏でまたネームバリューである ; $proof$ = 
fact13 & fact8 -> hypothesis; __DISPROVED__
事実1: 「この悪友は冷え切るしネームバリューだ」ということは間違いである
事実2: 「この悪友は燃え始めるしそれは教育原理だ」ということは誤っている
事実3: とある物はネームバリューである
事実4: 「水鶏でない」ものはある
事実5: 「この悪友はネームバリューであるし重苦しい」ということは成り立つということはない
事実6: 「冷え切る」物はある
事実7: もし「何らかのものは燃え始めるかもしくはそれは水鶏でないか両方ともだ」ということは誤りならば「事らしくない」ということは成り立つ
事実8: なにかは燃え始めないならば「この悪友は水鶏だしおまけにネームバリューだ」ということは成り立たない
事実9: 仮に「暗しない」物はあるとしたら「この悪友はネームバリューであるしそれに第三日曜日だ」ということは事実と異なる
事実10: もしもこの悪友が齎し易いとすれば水鶏だ
事実11: 「二十七条類推適用でない」物はあるなら「この悪友は物寂しいししかも水鶏だ」ということは真実でない
事実12: 「水鶏な」ものはある
事実13: 「燃え始めない」ものはある
事実14: 「あの大波は赤っぽいしそれはちぎれ易い」ということは間違っている
事実15: 「薄明るくない」物はある
事実16: 「燃え始める」ものはある
事実17: なにがしかの物はネームバリューでない

仮説: この悪友は水鶏でまたネームバリューである
1. 事実13と事実8から、仮説が否定される

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