あのアウトレットモールは仕舞い易くない
fact1: 社団法人は寂れる fact2: 仮にそのウェブ利用がＥＰＲであるしまた辛いならばあのアウトレットモールは仕舞い易い fact3: 仮にそのウェブ利用が頑張ればそれはＥＰＲでないけれど辛い fact4: あのアウトレットモールは誇りっぽくてそれにそれは評議する fact5: そのウェブ利用がＥＰＲでないけど辛いならあのアウトレットモールは仕舞い易い fact6: もし仮にそのウェブ利用が仕舞い易くてＥＰＲだとするとあのアウトレットモールは頑張る fact7: 仮に何かは頑張らないならば「それは座らないし加えて仕舞い易い」ということは成り立たない fact8: もしも「何らかのものは座らないがしかしそれは仕舞い易い」ということは成り立たないとすればそれは仕舞い易くない fact9: もし「そのウェブ利用は仕舞い易い」ということは真実であるとすると頑張らない fact10: あのアウトレットモールはＥＰＲだということはない fact11: もしも何かは寂れるとすると「それは座らないしそれは仕舞い易い」ということは成り立つということはない fact12: もし仮に「そのウェブ利用は社団法人であるがしかし付さない」ということは誤っているとしたらその御祖父さんは社団法人である fact13: 「あのアウトレットモールは評議する」ということは成り立つとすると「そのウェブ利用は社団法人だがしかし付さない」ということは成り立たない fact14: そのウェブ利用が仕舞い易いとすれば辛いということはないけどＥＰＲである fact15: もしもそのウェブ利用が頑張るとすればそれはＥＰＲでない fact16: 「そのウェブ利用は頑張る」ということは成り立つ fact17: そのウェブ利用はＥＰＲでない fact18: 「このトタンは頑張る」ということは成り立つ fact19: あのアウトレットモールは辛い
fact3 & fact16 -> int1: そのウェブ利用はＥＰＲでないがしかしそれは辛い; int1 & fact5 -> hypothesis;
fact3 & fact16 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact5 -> hypothesis;
その御祖父さんは頑張る
fact23 -> int2: もしも「その御祖父さんは座らないけど仕舞い易い」ということは正しくないなら仕舞い易くない; fact21 -> int3: もし仮にその御祖父さんは寂れるとしたら「座らないがしかし仕舞い易い」ということは偽である; fact25 -> int4: もしもその御祖父さんが社団法人だとすれば寂れる; fact24 -> int5: あのアウトレットモールは評議する; fact20 & int5 -> int6: 「そのウェブ利用は社団法人であるがそれは付さない」ということは嘘だ; fact22 & int6 -> int7: その御祖父さんは社団法人である; int4 & int7 -> int8: その御祖父さんは寂れる; int3 & int8 -> int9: 「その御祖父さんは座るということはないけど仕舞い易い」ということは成り立たない; int2 & int9 -> int10: その御祖父さんは仕舞い易くない;
$facts$ = fact1: 社団法人は寂れる fact2: 仮にそのウェブ利用がＥＰＲであるしまた辛いならばあのアウトレットモールは仕舞い易い fact3: 仮にそのウェブ利用が頑張ればそれはＥＰＲでないけれど辛い fact4: あのアウトレットモールは誇りっぽくてそれにそれは評議する fact5: そのウェブ利用がＥＰＲでないけど辛いならあのアウトレットモールは仕舞い易い fact6: もし仮にそのウェブ利用が仕舞い易くてＥＰＲだとするとあのアウトレットモールは頑張る fact7: 仮に何かは頑張らないならば「それは座らないし加えて仕舞い易い」ということは成り立たない fact8: もしも「何らかのものは座らないがしかしそれは仕舞い易い」ということは成り立たないとすればそれは仕舞い易くない fact9: もし「そのウェブ利用は仕舞い易い」ということは真実であるとすると頑張らない fact10: あのアウトレットモールはＥＰＲだということはない fact11: もしも何かは寂れるとすると「それは座らないしそれは仕舞い易い」ということは成り立つということはない fact12: もし仮に「そのウェブ利用は社団法人であるがしかし付さない」ということは誤っているとしたらその御祖父さんは社団法人である fact13: 「あのアウトレットモールは評議する」ということは成り立つとすると「そのウェブ利用は社団法人だがしかし付さない」ということは成り立たない fact14: そのウェブ利用が仕舞い易いとすれば辛いということはないけどＥＰＲである fact15: もしもそのウェブ利用が頑張るとすればそれはＥＰＲでない fact16: 「そのウェブ利用は頑張る」ということは成り立つ fact17: そのウェブ利用はＥＰＲでない fact18: 「このトタンは頑張る」ということは成り立つ fact19: あのアウトレットモールは辛い ; $hypothesis$ = あのアウトレットモールは仕舞い易くない ; $proof$ = 
fact3 & fact16 -> int1: そのウェブ利用はＥＰＲでないがしかしそれは辛い; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 社団法人は寂れる
事実2: 仮にそのウェブ利用がＥＰＲであるしまた辛いならばあのアウトレットモールは仕舞い易い
事実3: 仮にそのウェブ利用が頑張ればそれはＥＰＲでないけれど辛い
事実4: あのアウトレットモールは誇りっぽくてそれにそれは評議する
事実5: そのウェブ利用がＥＰＲでないけど辛いならあのアウトレットモールは仕舞い易い
事実6: もし仮にそのウェブ利用が仕舞い易くてＥＰＲだとするとあのアウトレットモールは頑張る
事実7: 仮に何かは頑張らないならば「それは座らないし加えて仕舞い易い」ということは成り立たない
事実8: もしも「何らかのものは座らないがしかしそれは仕舞い易い」ということは成り立たないとすればそれは仕舞い易くない
事実9: もし「そのウェブ利用は仕舞い易い」ということは真実であるとすると頑張らない
事実10: あのアウトレットモールはＥＰＲだということはない
事実11: もしも何かは寂れるとすると「それは座らないしそれは仕舞い易い」ということは成り立つということはない
事実12: もし仮に「そのウェブ利用は社団法人であるがしかし付さない」ということは誤っているとしたらその御祖父さんは社団法人である
事実13: 「あのアウトレットモールは評議する」ということは成り立つとすると「そのウェブ利用は社団法人だがしかし付さない」ということは成り立たない
事実14: そのウェブ利用が仕舞い易いとすれば辛いということはないけどＥＰＲである
事実15: もしもそのウェブ利用が頑張るとすればそれはＥＰＲでない
事実16: 「そのウェブ利用は頑張る」ということは成り立つ
事実17: そのウェブ利用はＥＰＲでない
事実18: 「このトタンは頑張る」ということは成り立つ
事実19: あのアウトレットモールは辛い

仮説: あのアウトレットモールは仕舞い易くない
1. 事実3と事実16から、推論1: "そのウェブ利用はＥＰＲでないがしかしそれは辛い"が導かれる
2. 推論1と事実5から、仮説が否定される

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