「この小学校算数は間近くない」ということは正しい
fact1: このパラダイス・カフェが寝るということはないとしたらそれは人差しでない fact2: このアカデミー賞は寝ない fact3: もしこのアカデミー賞は人差しでないとしたら「このパラダイス・カフェは人差しでなくて加えてそれは物質化しない」ということは成り立たない fact4: この小学校算数は縁取らない fact5: あのミス・ポークは寝ない fact6: 仮に「このパラダイス・カフェは人差しでないしその上物質化するということはない」ということは事実でないとすればこの小学校算数は間近い fact7: 仮にとあるものが物質化するとすれば間近くないけど寝る fact8: このアカデミー賞が寝ないならば喜ばしかないししかも人差しであるということはない fact9: もしもこのアカデミー賞が人差しであるならばこのパラダイス・カフェは寝る fact10: もし仮にこの小学校算数は人差しでないとすれば「このアカデミー賞は人差しでなくてその上間近くない」ということは成り立たない fact11: もし仮にこのアカデミー賞が人差しであるとしたらこのパラダイス・カフェは喜ばしい
fact8 & fact2 -> int1: このアカデミー賞は喜ばしかなくてしかもそれは人差しでない; int1 -> int2: このアカデミー賞は人差しだということはない; int2 & fact3 -> int3: 「このパラダイス・カフェは人差しでないしさらに物質化しない」ということは成り立たない; int3 & fact6 -> hypothesis;
この小学校算数は間近くない
fact12 -> int4: もし「この小学校算数は物質化する」ということは成り立つとすると間近くないけど寝る;
$facts$ = fact1: このパラダイス・カフェが寝るということはないとしたらそれは人差しでない fact2: このアカデミー賞は寝ない fact3: もしこのアカデミー賞は人差しでないとしたら「このパラダイス・カフェは人差しでなくて加えてそれは物質化しない」ということは成り立たない fact4: この小学校算数は縁取らない fact5: あのミス・ポークは寝ない fact6: 仮に「このパラダイス・カフェは人差しでないしその上物質化するということはない」ということは事実でないとすればこの小学校算数は間近い fact7: 仮にとあるものが物質化するとすれば間近くないけど寝る fact8: このアカデミー賞が寝ないならば喜ばしかないししかも人差しであるということはない fact9: もしもこのアカデミー賞が人差しであるならばこのパラダイス・カフェは寝る fact10: もし仮にこの小学校算数は人差しでないとすれば「このアカデミー賞は人差しでなくてその上間近くない」ということは成り立たない fact11: もし仮にこのアカデミー賞が人差しであるとしたらこのパラダイス・カフェは喜ばしい ; $hypothesis$ = 「この小学校算数は間近くない」ということは正しい ; $proof$ = 
fact8 & fact2 -> int1: このアカデミー賞は喜ばしかなくてしかもそれは人差しでない; int1 -> int2: このアカデミー賞は人差しだということはない; int2 & fact3 -> int3: 「このパラダイス・カフェは人差しでないしさらに物質化しない」ということは成り立たない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: このパラダイス・カフェが寝るということはないとしたらそれは人差しでない
事実2: このアカデミー賞は寝ない
事実3: もしこのアカデミー賞は人差しでないとしたら「このパラダイス・カフェは人差しでなくて加えてそれは物質化しない」ということは成り立たない
事実4: この小学校算数は縁取らない
事実5: あのミス・ポークは寝ない
事実6: 仮に「このパラダイス・カフェは人差しでないしその上物質化するということはない」ということは事実でないとすればこの小学校算数は間近い
事実7: 仮にとあるものが物質化するとすれば間近くないけど寝る
事実8: このアカデミー賞が寝ないならば喜ばしかないししかも人差しであるということはない
事実9: もしもこのアカデミー賞が人差しであるならばこのパラダイス・カフェは寝る
事実10: もし仮にこの小学校算数は人差しでないとすれば「このアカデミー賞は人差しでなくてその上間近くない」ということは成り立たない
事実11: もし仮にこのアカデミー賞が人差しであるとしたらこのパラダイス・カフェは喜ばしい

仮説: 「この小学校算数は間近くない」ということは正しい
1. 事実8と事実2から、推論1: "このアカデミー賞は喜ばしかなくてしかもそれは人差しでない"が導かれる
2. 推論1から、推論2: "このアカデミー賞は人差しだということはない"が導かれる
3. 推論2と事実3から、推論3: "「このパラダイス・カフェは人差しでないしさらに物質化しない」ということは成り立たない"が導かれる
4. 推論3と事実6から、仮説が否定される

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