その便利メニューは凍る
fact1: もし仮に「二十五Ｄ抵抗性である」ものがあるならその便利メニューは止み難い fact2: 「「二階建てである」ということは成り立つ」ものはある fact3: もし「二階建てな」物があるとすればあの聞き違いは止み難い fact4: もしもその便利メニューがコンポーネント・パレットであるかあるいは二十五Ｄ抵抗性であるかもしくは両方ともであるならばそれは凍るということはない fact5: 仮にその便利メニューは二十五Ｄ抵抗性であるなら凍らない fact6: この御便りは鬱陶しいかあるいは止み難いか両方ともだ fact7: もしこの聞き違いが止み難いとすればその便利メニューはコンポーネント・パレットだ
fact2 & fact3 -> int1: この聞き違いは止み難い; int1 & fact7 -> int2: その便利メニューはコンポーネント・パレットである; int2 -> int3: その便利メニューはコンポーネント・パレットであるかあるいは二十五Ｄ抵抗性である; int3 & fact4 -> hypothesis;
$facts$ = fact1: もし仮に「二十五Ｄ抵抗性である」ものがあるならその便利メニューは止み難い fact2: 「「二階建てである」ということは成り立つ」ものはある fact3: もし「二階建てな」物があるとすればあの聞き違いは止み難い fact4: もしもその便利メニューがコンポーネント・パレットであるかあるいは二十五Ｄ抵抗性であるかもしくは両方ともであるならばそれは凍るということはない fact5: 仮にその便利メニューは二十五Ｄ抵抗性であるなら凍らない fact6: この御便りは鬱陶しいかあるいは止み難いか両方ともだ fact7: もしこの聞き違いが止み難いとすればその便利メニューはコンポーネント・パレットだ ; $hypothesis$ = その便利メニューは凍る ; $proof$ = 
fact2 & fact3 -> int1: この聞き違いは止み難い; int1 & fact7 -> int2: その便利メニューはコンポーネント・パレットである; int2 -> int3: その便利メニューはコンポーネント・パレットであるかあるいは二十五Ｄ抵抗性である; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に「二十五Ｄ抵抗性である」ものがあるならその便利メニューは止み難い
事実2: 「「二階建てである」ということは成り立つ」ものはある
事実3: もし「二階建てな」物があるとすればあの聞き違いは止み難い
事実4: もしもその便利メニューがコンポーネント・パレットであるかあるいは二十五Ｄ抵抗性であるかもしくは両方ともであるならばそれは凍るということはない
事実5: 仮にその便利メニューは二十五Ｄ抵抗性であるなら凍らない
事実6: この御便りは鬱陶しいかあるいは止み難いか両方ともだ
事実7: もしこの聞き違いが止み難いとすればその便利メニューはコンポーネント・パレットだ

仮説: その便利メニューは凍る
1. 事実2と事実3から、推論1: "この聞き違いは止み難い"が導かれる
2. 推論1と事実7から、推論2: "その便利メニューはコンポーネント・パレットである"が導かれる
3. 推論2から、推論3: "その便利メニューはコンポーネント・パレットであるかあるいは二十五Ｄ抵抗性である"が導かれる
4. 推論3と事実4から、仮説が否定される

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