その御笑い種は文字ベースでない
fact1: もしなんらかのものが夫婦らしいかまたはうじうじしないならばうじうじしない fact2: この像側は行き倒れる fact3: 「その御笑い種は左クリックしなくて近世武家官位制でない」ということは間違っている fact4: なにがしかの物がうじうじするならそれは文字ベースである fact5: もしも「その御笑い種は左クリックしなくて加えてそれは近世武家官位制でない」ということは偽だとしたらうじうじする fact6: 「その御笑い種は左クリックしないがしかし近世武家官位制だ」ということは成り立たない fact7: もし仮にこの天井はうじうじしないとしたら「その御笑い種が文字ベースだしそれは強制送還する」ということは誤りである fact8: 仮にある物は文字ベースでないとすれば「それはアラブ系だということはないし加えてそれはイソップ物語でない」ということは誤っている
fact5 & fact3 -> int1: その御笑い種はうじうじする; fact4 -> int2: もしも「その御笑い種はうじうじする」ということは成り立つとすればそれは文字ベースである; int1 & int2 -> hypothesis;
「このワイフはアラブ系でなくてその上イソップ物語でない」ということは本当であるということはない
fact11 -> int3: もし仮にこのワイフは文字ベースでないとすると「アラブ系でないししかもイソップ物語でない」ということは誤りだ; fact12 -> int4: もし仮にこの天井が夫婦らしいかもしくはうじうじしないとするとうじうじしない; fact10 -> int5: 「行き倒れる」物はある;
$facts$ = fact1: もしなんらかのものが夫婦らしいかまたはうじうじしないならばうじうじしない fact2: この像側は行き倒れる fact3: 「その御笑い種は左クリックしなくて近世武家官位制でない」ということは間違っている fact4: なにがしかの物がうじうじするならそれは文字ベースである fact5: もしも「その御笑い種は左クリックしなくて加えてそれは近世武家官位制でない」ということは偽だとしたらうじうじする fact6: 「その御笑い種は左クリックしないがしかし近世武家官位制だ」ということは成り立たない fact7: もし仮にこの天井はうじうじしないとしたら「その御笑い種が文字ベースだしそれは強制送還する」ということは誤りである fact8: 仮にある物は文字ベースでないとすれば「それはアラブ系だということはないし加えてそれはイソップ物語でない」ということは誤っている ; $hypothesis$ = その御笑い種は文字ベースでない ; $proof$ = 
fact5 & fact3 -> int1: その御笑い種はうじうじする; fact4 -> int2: もしも「その御笑い種はうじうじする」ということは成り立つとすればそれは文字ベースである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものが夫婦らしいかまたはうじうじしないならばうじうじしない
事実2: この像側は行き倒れる
事実3: 「その御笑い種は左クリックしなくて近世武家官位制でない」ということは間違っている
事実4: なにがしかの物がうじうじするならそれは文字ベースである
事実5: もしも「その御笑い種は左クリックしなくて加えてそれは近世武家官位制でない」ということは偽だとしたらうじうじする
事実6: 「その御笑い種は左クリックしないがしかし近世武家官位制だ」ということは成り立たない
事実7: もし仮にこの天井はうじうじしないとしたら「その御笑い種が文字ベースだしそれは強制送還する」ということは誤りである
事実8: 仮にある物は文字ベースでないとすれば「それはアラブ系だということはないし加えてそれはイソップ物語でない」ということは誤っている

仮説: その御笑い種は文字ベースでない
1. 事実5と事実3から、推論1: "その御笑い種はうじうじする"が導かれる
2. 事実4から、推論2: "もしも「その御笑い種はうじうじする」ということは成り立つとすればそれは文字ベースである"が導かれる
3. 推論1と推論2から、仮説が否定される

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