「もしも「その告別式は覚え易い」ということは正しいとするとこの誉め歌は介護員だ」ということは嘘である
fact1: その告別式は送付する fact2: その告別式は嫌味ったらしい fact3: その告別式が介護員だとすればこの誉め歌は覚え易い fact4: もしもこのディグリーが憎しとしたらそれは調節し易い fact5: その告別式は憎し fact6: 「この誉め歌が憎しとするとその告別式は介護員だ」ということは事実である fact7: その告別式が覚え易いとするとこの誉め歌は憎し fact8: もしこの誉め歌が憎しとするとそれは介護員である fact9: もしその告別式が憎しとしたらその盤竜は覚え易い fact10: もしもこの誉め歌が介護員であるとしたらその告別式は憎し fact11: この誉め歌は覚え易い fact12: あの五月雨式は介護員だ fact13: 仮にこの誉め歌が覚え易いとしたらその告別式は介護員である fact14: この誉め歌は販売量である fact15: もし仮にこの誉め歌が覚え易いとしたらその告別式は憎し fact16: もし仮にその告別式が憎しとすればこの誉め歌は覚え易い fact17: 「その告別式は憂い」ということは事実である fact18: あの恵方位は介護員だ fact19: その告別式は介護員である fact20: あの成長力は覚え易い
void -> assump1: 以下のように仮定する。その告別式は覚え易い; fact7 & assump1 -> int1: この誉め歌は憎し; int1 & fact8 -> int2: この誉め歌は介護員だ; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{b}; int1 & fact8 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: その告別式は送付する fact2: その告別式は嫌味ったらしい fact3: その告別式が介護員だとすればこの誉め歌は覚え易い fact4: もしもこのディグリーが憎しとしたらそれは調節し易い fact5: その告別式は憎し fact6: 「この誉め歌が憎しとするとその告別式は介護員だ」ということは事実である fact7: その告別式が覚え易いとするとこの誉め歌は憎し fact8: もしこの誉め歌が憎しとするとそれは介護員である fact9: もしその告別式が憎しとしたらその盤竜は覚え易い fact10: もしもこの誉め歌が介護員であるとしたらその告別式は憎し fact11: この誉め歌は覚え易い fact12: あの五月雨式は介護員だ fact13: 仮にこの誉め歌が覚え易いとしたらその告別式は介護員である fact14: この誉め歌は販売量である fact15: もし仮にこの誉め歌が覚え易いとしたらその告別式は憎し fact16: もし仮にその告別式が憎しとすればこの誉め歌は覚え易い fact17: 「その告別式は憂い」ということは事実である fact18: あの恵方位は介護員だ fact19: その告別式は介護員である fact20: あの成長力は覚え易い ; $hypothesis$ = 「もしも「その告別式は覚え易い」ということは正しいとするとこの誉め歌は介護員だ」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。その告別式は覚え易い; fact7 & assump1 -> int1: この誉め歌は憎し; int1 & fact8 -> int2: この誉め歌は介護員だ; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: その告別式は送付する
事実2: その告別式は嫌味ったらしい
事実3: その告別式が介護員だとすればこの誉め歌は覚え易い
事実4: もしもこのディグリーが憎しとしたらそれは調節し易い
事実5: その告別式は憎し
事実6: 「この誉め歌が憎しとするとその告別式は介護員だ」ということは事実である
事実7: その告別式が覚え易いとするとこの誉め歌は憎し
事実8: もしこの誉め歌が憎しとするとそれは介護員である
事実9: もしその告別式が憎しとしたらその盤竜は覚え易い
事実10: もしもこの誉め歌が介護員であるとしたらその告別式は憎し
事実11: この誉め歌は覚え易い
事実12: あの五月雨式は介護員だ
事実13: 仮にこの誉め歌が覚え易いとしたらその告別式は介護員である
事実14: この誉め歌は販売量である
事実15: もし仮にこの誉め歌が覚え易いとしたらその告別式は憎し
事実16: もし仮にその告別式が憎しとすればこの誉め歌は覚え易い
事実17: 「その告別式は憂い」ということは事実である
事実18: あの恵方位は介護員だ
事実19: その告別式は介護員である
事実20: あの成長力は覚え易い

仮説: 「もしも「その告別式は覚え易い」ということは正しいとするとこの誉め歌は介護員だ」ということは嘘である
1. 仮定1: 以下のように仮定する。その告別式は覚え易い
2. 事実7と仮定1から、推論1: "この誉め歌は憎し"が導かれる
3. 推論1と事実8から、推論2: "この誉め歌は介護員だ"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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