「「もし「足趾でないし更に追い越す」ということは事実と異なるとすると忠実忠実しかない」ものはある」ということは間違っている
fact1: この霊性は足趾でない一方で追い越すなら忠実忠実しいということはない fact2: もし「何かは見付け易くないけれど採尿する」ということは誤りであるならば地域高齢者住宅計画でない fact3: 「あの寒空は薄っぺらくないが生臭い」ということは誤っているとすれば売り難くない fact4: もしも「この霊性は足趾でないけど追い越す」ということは間違いだとしたらそれは忠実忠実しい fact5: もし「この霊性は足趾でない一方で追い越す」ということは偽であるとしたら「それは忠実忠実しかない」ということは真実だ fact6: 「仮に足趾でないが追い越すとすると忠実忠実しかない」ものはある fact7: 「「もし「セキュリティホールでないしまた補任だ」ということは嘘であるとしたら掛け易くない」ものはある」ということは成り立つ fact8: もし仮にこの霊性が追い越さないとすれば忠実忠実しかない fact9: 「仮に「足趾でないしその上追い越す」ということは成り立たないとすると「忠実忠実しかない」ということは誤っている」物はある
fact5 -> hypothesis;
「仮に「見付け易くないがしかし採尿する」ということは成り立たないなら「地域高齢者住宅計画だということはない」ということは事実な」物はある
fact10 -> int1: 仮に「あの法制審議会は見付け易くないが採尿する」ということは偽ならそれは地域高齢者住宅計画であるということはない; int1 -> hypothesis;
$facts$ = fact1: この霊性は足趾でない一方で追い越すなら忠実忠実しいということはない fact2: もし「何かは見付け易くないけれど採尿する」ということは誤りであるならば地域高齢者住宅計画でない fact3: 「あの寒空は薄っぺらくないが生臭い」ということは誤っているとすれば売り難くない fact4: もしも「この霊性は足趾でないけど追い越す」ということは間違いだとしたらそれは忠実忠実しい fact5: もし「この霊性は足趾でない一方で追い越す」ということは偽であるとしたら「それは忠実忠実しかない」ということは真実だ fact6: 「仮に足趾でないが追い越すとすると忠実忠実しかない」ものはある fact7: 「「もし「セキュリティホールでないしまた補任だ」ということは嘘であるとしたら掛け易くない」ものはある」ということは成り立つ fact8: もし仮にこの霊性が追い越さないとすれば忠実忠実しかない fact9: 「仮に「足趾でないしその上追い越す」ということは成り立たないとすると「忠実忠実しかない」ということは誤っている」物はある ; $hypothesis$ = 「「もし「足趾でないし更に追い越す」ということは事実と異なるとすると忠実忠実しかない」ものはある」ということは間違っている ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: この霊性は足趾でない一方で追い越すなら忠実忠実しいということはない
事実2: もし「何かは見付け易くないけれど採尿する」ということは誤りであるならば地域高齢者住宅計画でない
事実3: 「あの寒空は薄っぺらくないが生臭い」ということは誤っているとすれば売り難くない
事実4: もしも「この霊性は足趾でないけど追い越す」ということは間違いだとしたらそれは忠実忠実しい
事実5: もし「この霊性は足趾でない一方で追い越す」ということは偽であるとしたら「それは忠実忠実しかない」ということは真実だ
事実6: 「仮に足趾でないが追い越すとすると忠実忠実しかない」ものはある
事実7: 「「もし「セキュリティホールでないしまた補任だ」ということは嘘であるとしたら掛け易くない」ものはある」ということは成り立つ
事実8: もし仮にこの霊性が追い越さないとすれば忠実忠実しかない
事実9: 「仮に「足趾でないしその上追い越す」ということは成り立たないとすると「忠実忠実しかない」ということは誤っている」物はある

仮説: 「「もし「足趾でないし更に追い越す」ということは事実と異なるとすると忠実忠実しかない」ものはある」ということは間違っている
1. 事実5から、仮説が否定される

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