そのシフォンケーキは吸収され易くない
fact1: この三〜四箇月頃が得難しとしたらあのＳＨＯは分かり辛くないけれどそれは悪事だ fact2: そのシフォンケーキは分かり辛い fact3: もしあのＳＨＯは男性陣であるとすると「この三〜四箇月頃は得難しけれど羽化しない」ということは本当でない fact4: この三〜四箇月頃は得難し fact5: そのシャトーは分かり辛い fact6: 「分かり辛くないがしかし悪事である」物があるとすればそのシフォンケーキは吸収され易い fact7: この三〜四箇月頃は分かり辛い fact8: もしこの三〜四箇月頃が得難しならあのＳＨＯは悪事である fact9: そのシフォンケーキは悪事である
fact1 & fact4 -> int1: あのＳＨＯは分かり辛くないけれどそれは悪事だ; int1 -> int2: 「分かり辛くない悪事な」ものはある; int2 & fact6 -> hypothesis;
そのシフォンケーキは吸収され易いということはない
$facts$ = fact1: この三〜四箇月頃が得難しとしたらあのＳＨＯは分かり辛くないけれどそれは悪事だ fact2: そのシフォンケーキは分かり辛い fact3: もしあのＳＨＯは男性陣であるとすると「この三〜四箇月頃は得難しけれど羽化しない」ということは本当でない fact4: この三〜四箇月頃は得難し fact5: そのシャトーは分かり辛い fact6: 「分かり辛くないがしかし悪事である」物があるとすればそのシフォンケーキは吸収され易い fact7: この三〜四箇月頃は分かり辛い fact8: もしこの三〜四箇月頃が得難しならあのＳＨＯは悪事である fact9: そのシフォンケーキは悪事である ; $hypothesis$ = そのシフォンケーキは吸収され易くない ; $proof$ = 
fact1 & fact4 -> int1: あのＳＨＯは分かり辛くないけれどそれは悪事だ; int1 -> int2: 「分かり辛くない悪事な」ものはある; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: この三〜四箇月頃が得難しとしたらあのＳＨＯは分かり辛くないけれどそれは悪事だ
事実2: そのシフォンケーキは分かり辛い
事実3: もしあのＳＨＯは男性陣であるとすると「この三〜四箇月頃は得難しけれど羽化しない」ということは本当でない
事実4: この三〜四箇月頃は得難し
事実5: そのシャトーは分かり辛い
事実6: 「分かり辛くないがしかし悪事である」物があるとすればそのシフォンケーキは吸収され易い
事実7: この三〜四箇月頃は分かり辛い
事実8: もしこの三〜四箇月頃が得難しならあのＳＨＯは悪事である
事実9: そのシフォンケーキは悪事である

仮説: そのシフォンケーキは吸収され易くない
1. 事実1と事実4から、推論1: "あのＳＨＯは分かり辛くないけれどそれは悪事だ"が導かれる
2. 推論1から、推論2: "「分かり辛くない悪事な」ものはある"が導かれる
3. 推論2と事実6から、仮説が否定される

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