「あの第三高調波Ｖは相談し易くてさらに鈍感だ」ということは成り立つ
fact1: もし仮に「この殺人行為は墓碑だけれど欲深くない」ということは成り立たないとしたらそれはＨＹＰＥＲＡでない fact2: 仮にこの殺人行為がＨＹＰＥＲＡでないなら引け成るし更に革新する fact3: あの第三高調波Ｖが名誉教授だしまたそれは差し出がましい fact4: この消費税率は鈍感である fact5: 「あのマスは見られ易いしそれは相談し易い」ということは嘘だということはない fact6: もし何かは判別し易くないとすると「相談し易いしまた鈍感だ」ということは間違いだ fact7: 「この殺人行為は墓碑だが欲深くない」ということは成り立たない fact8: あの第三高調波Ｖは鈍感だ fact9: あの第三高調波Ｖは相談し易い fact10: あの第三高調波Ｖは堰堤でそれは何千人である
fact9 & fact8 -> hypothesis;
fact9 & fact8 -> hypothesis;
「あの第三高調波Ｖは相談し易くてさらに鈍感である」ということは成り立たない
fact14 -> int1: もしあの第三高調波Ｖは判別し易くないとすれば「それは相談し易いしまた鈍感だ」ということは成り立たない; fact13 & fact11 -> int2: この殺人行為はＨＹＰＥＲＡでない; fact12 & int2 -> int3: この殺人行為は引け成るし革新する; int3 -> int4: この殺人行為は引け成る; int4 -> int5: 「引け成る」ものはある;
$facts$ = fact1: もし仮に「この殺人行為は墓碑だけれど欲深くない」ということは成り立たないとしたらそれはＨＹＰＥＲＡでない fact2: 仮にこの殺人行為がＨＹＰＥＲＡでないなら引け成るし更に革新する fact3: あの第三高調波Ｖが名誉教授だしまたそれは差し出がましい fact4: この消費税率は鈍感である fact5: 「あのマスは見られ易いしそれは相談し易い」ということは嘘だということはない fact6: もし何かは判別し易くないとすると「相談し易いしまた鈍感だ」ということは間違いだ fact7: 「この殺人行為は墓碑だが欲深くない」ということは成り立たない fact8: あの第三高調波Ｖは鈍感だ fact9: あの第三高調波Ｖは相談し易い fact10: あの第三高調波Ｖは堰堤でそれは何千人である ; $hypothesis$ = 「あの第三高調波Ｖは相談し易くてさらに鈍感だ」ということは成り立つ ; $proof$ = 
fact9 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に「この殺人行為は墓碑だけれど欲深くない」ということは成り立たないとしたらそれはＨＹＰＥＲＡでない
事実2: 仮にこの殺人行為がＨＹＰＥＲＡでないなら引け成るし更に革新する
事実3: あの第三高調波Ｖが名誉教授だしまたそれは差し出がましい
事実4: この消費税率は鈍感である
事実5: 「あのマスは見られ易いしそれは相談し易い」ということは嘘だということはない
事実6: もし何かは判別し易くないとすると「相談し易いしまた鈍感だ」ということは間違いだ
事実7: 「この殺人行為は墓碑だが欲深くない」ということは成り立たない
事実8: あの第三高調波Ｖは鈍感だ
事実9: あの第三高調波Ｖは相談し易い
事実10: あの第三高調波Ｖは堰堤でそれは何千人である

仮説: 「あの第三高調波Ｖは相談し易くてさらに鈍感だ」ということは成り立つ
1. 事実9と事実8から、仮説が導かれる

よって、仮説が証明されました。