この千九百九十三年末は小遣い銭でないがしかしそれは超越する
fact1: とあるものはきな臭いなら「この千九百九十三年末はＤＡＣＡＡＲでないがしかし詫びる」ということは成り立たない fact2: この氏寺は彫り出すとしたら「その批判点はガイドだ」ということは本当である fact3: もし仮に「ガイドである」物はあれば「この千九百九十三年末は小遣い銭でないけどそれは超越する」ということは誤っている fact4: 「ガイドな」ものはある fact5: 何らかのものが恥ずかしがるなら彫り出す fact6: もしも「このフードはガイドでない」ということは本当であるならこの千九百九十三年末は小遣い銭でない一方でそれは超越する fact7: もしも「その元夫は恥ずかしがらなくてそれはアダム家庭でない」ということは本当であるとするとこの氏寺は恥ずかしがる fact8: もし仮にその批判点が頼り無いかあるいはガイドであるかまたは両方であるとすればこのフードはガイドでない fact9: その批判点は彫り出すしおまけに超越する
fact4 & fact3 -> hypothesis;
この千九百九十三年末は小遣い銭でない一方でそれは超越する
fact12 -> int1: この氏寺が恥ずかしがるとすれば彫り出す;
$facts$ = fact1: とあるものはきな臭いなら「この千九百九十三年末はＤＡＣＡＡＲでないがしかし詫びる」ということは成り立たない fact2: この氏寺は彫り出すとしたら「その批判点はガイドだ」ということは本当である fact3: もし仮に「ガイドである」物はあれば「この千九百九十三年末は小遣い銭でないけどそれは超越する」ということは誤っている fact4: 「ガイドな」ものはある fact5: 何らかのものが恥ずかしがるなら彫り出す fact6: もしも「このフードはガイドでない」ということは本当であるならこの千九百九十三年末は小遣い銭でない一方でそれは超越する fact7: もしも「その元夫は恥ずかしがらなくてそれはアダム家庭でない」ということは本当であるとするとこの氏寺は恥ずかしがる fact8: もし仮にその批判点が頼り無いかあるいはガイドであるかまたは両方であるとすればこのフードはガイドでない fact9: その批判点は彫り出すしおまけに超越する ; $hypothesis$ = この千九百九十三年末は小遣い銭でないがしかしそれは超越する ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: とあるものはきな臭いなら「この千九百九十三年末はＤＡＣＡＡＲでないがしかし詫びる」ということは成り立たない
事実2: この氏寺は彫り出すとしたら「その批判点はガイドだ」ということは本当である
事実3: もし仮に「ガイドである」物はあれば「この千九百九十三年末は小遣い銭でないけどそれは超越する」ということは誤っている
事実4: 「ガイドな」ものはある
事実5: 何らかのものが恥ずかしがるなら彫り出す
事実6: もしも「このフードはガイドでない」ということは本当であるならこの千九百九十三年末は小遣い銭でない一方でそれは超越する
事実7: もしも「その元夫は恥ずかしがらなくてそれはアダム家庭でない」ということは本当であるとするとこの氏寺は恥ずかしがる
事実8: もし仮にその批判点が頼り無いかあるいはガイドであるかまたは両方であるとすればこのフードはガイドでない
事実9: その批判点は彫り出すしおまけに超越する

仮説: この千九百九十三年末は小遣い銭でないがしかしそれは超越する
1. 事実4と事実3から、仮説が否定される

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