あのブックマークは転載する
fact1: 仮に何かは操らないならロケーションでないし加えて完敗するということはない fact2: 「あのブックマークは煩いということはないけれど英国民だ」ということは成り立たない fact3: 「この幽閉は転載するということはない」ということは成り立つ fact4: 仮にこのカザフスタン内があざといとしたら引っ越す fact5: 仮に「あのブックマークは煩くないけれど英国民である」ということは真実でないとすれば「それは転載しない」ということは真実だ fact6: もしも何らかの物がロケーションでないならば二作目以降であるかあるいはそれは姦通しない fact7: 「あのブックマークは煩いしそれは英国民である」ということは間違いだ fact8: もし仮にこのカザフスタン内が引っ越すとしたらあのブックマークは郷愁でないしさらに操らない fact9: もしあのブックマークは煩いとすると「転載しない」ということは成り立つ
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
この前眼房は転載しない
fact10 -> int1: あのブックマークはロケーションだということはないとすれば「二作目以降であるかもしくは姦通しないかどちらもである」ということは成り立つ; fact11 -> int2: もしもあのブックマークが操らないならそれはロケーションだということはないしその上完敗しない;
$facts$ = fact1: 仮に何かは操らないならロケーションでないし加えて完敗するということはない fact2: 「あのブックマークは煩いということはないけれど英国民だ」ということは成り立たない fact3: 「この幽閉は転載するということはない」ということは成り立つ fact4: 仮にこのカザフスタン内があざといとしたら引っ越す fact5: 仮に「あのブックマークは煩くないけれど英国民である」ということは真実でないとすれば「それは転載しない」ということは真実だ fact6: もしも何らかの物がロケーションでないならば二作目以降であるかあるいはそれは姦通しない fact7: 「あのブックマークは煩いしそれは英国民である」ということは間違いだ fact8: もし仮にこのカザフスタン内が引っ越すとしたらあのブックマークは郷愁でないしさらに操らない fact9: もしあのブックマークは煩いとすると「転載しない」ということは成り立つ ; $hypothesis$ = あのブックマークは転載する ; $proof$ = 
fact5 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に何かは操らないならロケーションでないし加えて完敗するということはない
事実2: 「あのブックマークは煩いということはないけれど英国民だ」ということは成り立たない
事実3: 「この幽閉は転載するということはない」ということは成り立つ
事実4: 仮にこのカザフスタン内があざといとしたら引っ越す
事実5: 仮に「あのブックマークは煩くないけれど英国民である」ということは真実でないとすれば「それは転載しない」ということは真実だ
事実6: もしも何らかの物がロケーションでないならば二作目以降であるかあるいはそれは姦通しない
事実7: 「あのブックマークは煩いしそれは英国民である」ということは間違いだ
事実8: もし仮にこのカザフスタン内が引っ越すとしたらあのブックマークは郷愁でないしさらに操らない
事実9: もしあのブックマークは煩いとすると「転載しない」ということは成り立つ

仮説: あのブックマークは転載する
1. 事実5と事実2から、仮説が否定される

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