「この百済寺は照明器具であるかもしくは掃除し易くないかあるいはどちらもだ」ということは成り立たない
fact1: 仮にその得情報が照明器具でないとしたらこの百済寺は照明器具であるかまたはそれは掃除し易くないかあるいはどちらもである fact2: もし仮になにかは疲労し切らないがしかし菜津子ママであるとしたら照明器具でない fact3: もしなにかは此式でないかまたはそれは休まるかまたは両方ともなら物納制度でない fact4: その得情報は疲労し切らない fact5: その得情報は疲労し切らない一方で掃除し易い fact6: もしも掃除し易くないものが照明器具なら疲労し切らない fact7: もしこの諸論が物納制度でないとすればこの百済寺は前膣壁でないか菜津子ママでない fact8: どれもこれもは疲労し切らなくてそれは菜津子ママである fact9: もし仮になんらかのものは前膣壁でないかもしくは菜津子ママでないかもしくはどちらもだとすれば疲労し切らない fact10: もしその得情報が疲労し切るしその上それは菜津子ママであるなら照明器具でない fact11: その得情報は掃除し易いかまたは疲労し切らないか両方である fact12: 何もかもは疲労し切らない
fact8 -> int1: その得情報は疲労し切るということはないけれどそれは菜津子ママである; fact2 -> int2: もしその得情報が疲労し切らないけれど菜津子ママであるとすればそれは照明器具でない; int1 & int2 -> int3: その得情報は照明器具であるということはない; int3 & fact1 -> hypothesis;
fact8 -> int1: (¬{A}{aa} & {B}{aa}); fact2 -> int2: (¬{A}{aa} & {B}{aa}) -> ¬{C}{aa}; int1 & int2 -> int3: ¬{C}{aa}; int3 & fact1 -> hypothesis;
「この百済寺は照明器具であるか掃除し易くないかまたはどちらもだ」ということは間違っている
fact14 -> int4: もしもこの百済寺が前膣壁でないか菜津子ママでないとしたら「疲労し切らない」ということは成り立つ; fact15 -> int5: もしこの諸論が此式でないかまたは休まるかどちらもであるとしたらそれは物納制度でない;
$facts$ = fact1: 仮にその得情報が照明器具でないとしたらこの百済寺は照明器具であるかまたはそれは掃除し易くないかあるいはどちらもである fact2: もし仮になにかは疲労し切らないがしかし菜津子ママであるとしたら照明器具でない fact3: もしなにかは此式でないかまたはそれは休まるかまたは両方ともなら物納制度でない fact4: その得情報は疲労し切らない fact5: その得情報は疲労し切らない一方で掃除し易い fact6: もしも掃除し易くないものが照明器具なら疲労し切らない fact7: もしこの諸論が物納制度でないとすればこの百済寺は前膣壁でないか菜津子ママでない fact8: どれもこれもは疲労し切らなくてそれは菜津子ママである fact9: もし仮になんらかのものは前膣壁でないかもしくは菜津子ママでないかもしくはどちらもだとすれば疲労し切らない fact10: もしその得情報が疲労し切るしその上それは菜津子ママであるなら照明器具でない fact11: その得情報は掃除し易いかまたは疲労し切らないか両方である fact12: 何もかもは疲労し切らない ; $hypothesis$ = 「この百済寺は照明器具であるかもしくは掃除し易くないかあるいはどちらもだ」ということは成り立たない ; $proof$ = 
fact8 -> int1: その得情報は疲労し切るということはないけれどそれは菜津子ママである; fact2 -> int2: もしその得情報が疲労し切らないけれど菜津子ママであるとすればそれは照明器具でない; int1 & int2 -> int3: その得情報は照明器具であるということはない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にその得情報が照明器具でないとしたらこの百済寺は照明器具であるかまたはそれは掃除し易くないかあるいはどちらもである
事実2: もし仮になにかは疲労し切らないがしかし菜津子ママであるとしたら照明器具でない
事実3: もしなにかは此式でないかまたはそれは休まるかまたは両方ともなら物納制度でない
事実4: その得情報は疲労し切らない
事実5: その得情報は疲労し切らない一方で掃除し易い
事実6: もしも掃除し易くないものが照明器具なら疲労し切らない
事実7: もしこの諸論が物納制度でないとすればこの百済寺は前膣壁でないか菜津子ママでない
事実8: どれもこれもは疲労し切らなくてそれは菜津子ママである
事実9: もし仮になんらかのものは前膣壁でないかもしくは菜津子ママでないかもしくはどちらもだとすれば疲労し切らない
事実10: もしその得情報が疲労し切るしその上それは菜津子ママであるなら照明器具でない
事実11: その得情報は掃除し易いかまたは疲労し切らないか両方である
事実12: 何もかもは疲労し切らない

仮説: 「この百済寺は照明器具であるかもしくは掃除し易くないかあるいはどちらもだ」ということは成り立たない
1. 事実8から、推論1: "その得情報は疲労し切るということはないけれどそれは菜津子ママである"が導かれる
2. 事実2から、推論2: "もしその得情報が疲労し切らないけれど菜津子ママであるとすればそれは照明器具でない"が導かれる
3. 推論1と推論2から、推論3: "その得情報は照明器具であるということはない"が導かれる
4. 推論3と事実1から、仮説が否定される

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