この小町姫は録音機でない
fact1: この小町姫が説教出来ないなら編曲家だ fact2: もしなにがしかの物が肯定出来るかあるいはそれは説教出来ないか両方ともであるとすればそれは編曲家である fact3: もし「なにかは罹患し易いということはないかもしくはそれは編曲家である」ということは嘘であるとしたら録音機でない fact4: もし仮に「この小町姫は罹患し易い」ということは正しいとすれば肯定出来るかもしくは説教出来る fact5: この最新機種は編曲家だ fact6: この小町姫は肯定出来るかまたは説教出来るかあるいは両方である fact7: この小町姫は罹患し易い fact8: 仮にこの居宅介護福祉用具購入費が弛くないならばそれは遠望するということはない fact9: もしも何らかの物は脈だということはないとすれば「罹患し易くないかまたは編曲家であるかあるいは両方である」ということは嘘だ fact10: この小町姫が罹患し易いとすると肯定出来るかまたはそれは説教出来ないかあるいは両方である fact11: 仮に何らかの物は編曲家だとしたら「それは録音機である」ということは正しい fact12: 仮にこの居宅介護福祉用具購入費が遠望しないならばそれは故障するかもしくは幽体である fact13: 仮になにかは説教出来ないならば編曲家である fact14: もし仮にあの暫定規定はブラックアウトしないとすると「落ち易くて脈だ」ということは成り立たない
fact2 -> int1: この小町姫が肯定出来るかまたはそれは説教出来ないかもしくは両方ともなら編曲家だ; fact10 & fact7 -> int2: この小町姫は肯定出来るかあるいは説教出来ない; int1 & int2 -> int3: この小町姫は編曲家だ; fact11 -> int4: もしもこの小町姫が編曲家ならば録音機だ; int3 & int4 -> hypothesis;
fact2 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact10 & fact7 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact11 -> int4: {B}{aa} -> {A}{aa}; int3 & int4 -> hypothesis;
この小町姫は録音機でない
fact19 -> int5: 仮に「「この小町姫は罹患し易いということはないかまたはそれは編曲家だ」ということは成り立つ」ということは間違いであるならそれは録音機でない; fact16 -> int6: もしもこの小町姫は脈でないとしたら「罹患し易くないか編曲家であるかまたは両方ともだ」ということは嘘だ;
$facts$ = fact1: この小町姫が説教出来ないなら編曲家だ fact2: もしなにがしかの物が肯定出来るかあるいはそれは説教出来ないか両方ともであるとすればそれは編曲家である fact3: もし「なにかは罹患し易いということはないかもしくはそれは編曲家である」ということは嘘であるとしたら録音機でない fact4: もし仮に「この小町姫は罹患し易い」ということは正しいとすれば肯定出来るかもしくは説教出来る fact5: この最新機種は編曲家だ fact6: この小町姫は肯定出来るかまたは説教出来るかあるいは両方である fact7: この小町姫は罹患し易い fact8: 仮にこの居宅介護福祉用具購入費が弛くないならばそれは遠望するということはない fact9: もしも何らかの物は脈だということはないとすれば「罹患し易くないかまたは編曲家であるかあるいは両方である」ということは嘘だ fact10: この小町姫が罹患し易いとすると肯定出来るかまたはそれは説教出来ないかあるいは両方である fact11: 仮に何らかの物は編曲家だとしたら「それは録音機である」ということは正しい fact12: 仮にこの居宅介護福祉用具購入費が遠望しないならばそれは故障するかもしくは幽体である fact13: 仮になにかは説教出来ないならば編曲家である fact14: もし仮にあの暫定規定はブラックアウトしないとすると「落ち易くて脈だ」ということは成り立たない ; $hypothesis$ = この小町姫は録音機でない ; $proof$ = 
fact2 -> int1: この小町姫が肯定出来るかまたはそれは説教出来ないかもしくは両方ともなら編曲家だ; fact10 & fact7 -> int2: この小町姫は肯定出来るかあるいは説教出来ない; int1 & int2 -> int3: この小町姫は編曲家だ; fact11 -> int4: もしもこの小町姫が編曲家ならば録音機だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この小町姫が説教出来ないなら編曲家だ
事実2: もしなにがしかの物が肯定出来るかあるいはそれは説教出来ないか両方ともであるとすればそれは編曲家である
事実3: もし「なにかは罹患し易いということはないかもしくはそれは編曲家である」ということは嘘であるとしたら録音機でない
事実4: もし仮に「この小町姫は罹患し易い」ということは正しいとすれば肯定出来るかもしくは説教出来る
事実5: この最新機種は編曲家だ
事実6: この小町姫は肯定出来るかまたは説教出来るかあるいは両方である
事実7: この小町姫は罹患し易い
事実8: 仮にこの居宅介護福祉用具購入費が弛くないならばそれは遠望するということはない
事実9: もしも何らかの物は脈だということはないとすれば「罹患し易くないかまたは編曲家であるかあるいは両方である」ということは嘘だ
事実10: この小町姫が罹患し易いとすると肯定出来るかまたはそれは説教出来ないかあるいは両方である
事実11: 仮に何らかの物は編曲家だとしたら「それは録音機である」ということは正しい
事実12: 仮にこの居宅介護福祉用具購入費が遠望しないならばそれは故障するかもしくは幽体である
事実13: 仮になにかは説教出来ないならば編曲家である
事実14: もし仮にあの暫定規定はブラックアウトしないとすると「落ち易くて脈だ」ということは成り立たない

仮説: この小町姫は録音機でない
1. 事実2から、推論1: "この小町姫が肯定出来るかまたはそれは説教出来ないかもしくは両方ともなら編曲家だ"が導かれる
2. 事実10と事実7から、推論2: "この小町姫は肯定出来るかあるいは説教出来ない"が導かれる
3. 推論1と推論2から、推論3: "この小町姫は編曲家だ"が導かれる
4. 事実11から、推論4: "もしもこの小町姫が編曲家ならば録音機だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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