「この今君は危なっかしいかもしくは福徳であるかまたは両方である」ということは間違っている
fact1: もしも「あの署名者はハイド・チャペルでなくてしかも咬合しない」ということは成り立たないとするとそれは出来難いということはない fact2: なにがしかの物が起床しないとしたら安堵し難くないしその上それは器物でない fact3: もし仮に「なんらかの物は出来難いということはない」ということは正しいならあの特別助成計画は出来難くないかもしくは連れないかあるいは両方ともだ fact4: もし仮にこの楽長が判別し難くないとすればその政府問題共同体は削減すかあるいは総加増・地方直しであるかもしくは両方だ fact5: もしも安堵し難くないものは器物でないとしたら「保定しない」ということは確かだ fact6: あの認定調査は危なっかしい fact7: 仮に「あの対アメリカは嫁ぎ先であるけどみっとも可愛くない」ということは成り立たないならばこの楽長は判別し難くない fact8: 「あの線形計画法は総加増・地方直しでそれに危なっかしい」ということは誤っているとしたら危なっかしくない fact9: もし仮に「あの認定調査は怒鳴り出す」ということは本当ならばこの今君は危なっかしい fact10: なにかは侘しいとすれば「それは嫁ぎ先であるけどみっとも可愛くない」ということは間違っている fact11: 「もしあの認定調査は怒鳴り出さないとすると「この今君は危なっかしいかあるいは福徳であるかもしくは両方ともだ」ということは成り立たない」ということは確かである fact12: あの認定調査は怒鳴り出す fact13: 「あの署名者はハイド・チャペルであるということはなくてそれに咬合しない」ということは誤っている fact14: もしもあの特別助成計画が出来難くないかあるいは連れないとすればあの対アメリカは起床しない fact15: その衣替えは怒鳴り出す fact16: もし仮に「その政府問題共同体は削減す」ということは成り立つとすればあの認定調査は怒鳴り出さない fact17: 仮にあるものは保定するということはないとすれば「存じ上げるしそれにそれは侘しい」ということは正しい
fact9 & fact12 -> int1: この今君は危なっかしい; int1 -> hypothesis;
fact9 & fact12 -> int1: {B}{b}; int1 -> hypothesis;
「この今君は危なっかしいかもしくは福徳であるかどちらもである」ということは嘘である
fact27 -> int2: あの対アメリカは侘しいなら「嫁ぎ先であるしその上それはみっとも可愛くない」ということは成り立たない; fact28 -> int3: あの対アメリカが保定しないならば存じ上げるし侘しい; fact23 -> int4: あの対アメリカは安堵し難くないしまた器物でないとするとそれは保定するということはない; fact19 -> int5: 仮にあの対アメリカが起床しないとするとそれは安堵し難いということはなくておまけに器物でない; fact29 & fact22 -> int6: あの署名者は出来難くない; int6 -> int7: 「出来難くない」物はある; int7 & fact24 -> int8: あの特別助成計画は出来難くないか連れるということはないかどちらもである; fact26 & int8 -> int9: あの対アメリカは起床しない; int5 & int9 -> int10: あの対アメリカは安堵し難くないしそれは器物でない; int4 & int10 -> int11: あの対アメリカは保定しない; int3 & int11 -> int12: あの対アメリカは存じ上げるししかも侘しい; int12 -> int13: あの対アメリカは侘しい; int2 & int13 -> int14: 「あの対アメリカが嫁ぎ先だけどみっとも可愛くない」ということは事実と異なる; fact25 & int14 -> int15: この楽長は判別し難くない; fact18 & int15 -> int16: その政府問題共同体は削減すか総加増・地方直しであるかもしくは両方だ;
$facts$ = fact1: もしも「あの署名者はハイド・チャペルでなくてしかも咬合しない」ということは成り立たないとするとそれは出来難いということはない fact2: なにがしかの物が起床しないとしたら安堵し難くないしその上それは器物でない fact3: もし仮に「なんらかの物は出来難いということはない」ということは正しいならあの特別助成計画は出来難くないかもしくは連れないかあるいは両方ともだ fact4: もし仮にこの楽長が判別し難くないとすればその政府問題共同体は削減すかあるいは総加増・地方直しであるかもしくは両方だ fact5: もしも安堵し難くないものは器物でないとしたら「保定しない」ということは確かだ fact6: あの認定調査は危なっかしい fact7: 仮に「あの対アメリカは嫁ぎ先であるけどみっとも可愛くない」ということは成り立たないならばこの楽長は判別し難くない fact8: 「あの線形計画法は総加増・地方直しでそれに危なっかしい」ということは誤っているとしたら危なっかしくない fact9: もし仮に「あの認定調査は怒鳴り出す」ということは本当ならばこの今君は危なっかしい fact10: なにかは侘しいとすれば「それは嫁ぎ先であるけどみっとも可愛くない」ということは間違っている fact11: 「もしあの認定調査は怒鳴り出さないとすると「この今君は危なっかしいかあるいは福徳であるかもしくは両方ともだ」ということは成り立たない」ということは確かである fact12: あの認定調査は怒鳴り出す fact13: 「あの署名者はハイド・チャペルであるということはなくてそれに咬合しない」ということは誤っている fact14: もしもあの特別助成計画が出来難くないかあるいは連れないとすればあの対アメリカは起床しない fact15: その衣替えは怒鳴り出す fact16: もし仮に「その政府問題共同体は削減す」ということは成り立つとすればあの認定調査は怒鳴り出さない fact17: 仮にあるものは保定するということはないとすれば「存じ上げるしそれにそれは侘しい」ということは正しい ; $hypothesis$ = 「この今君は危なっかしいかもしくは福徳であるかまたは両方である」ということは間違っている ; $proof$ = 
fact9 & fact12 -> int1: この今君は危なっかしい; int1 -> hypothesis; __DISPROVED__
事実1: もしも「あの署名者はハイド・チャペルでなくてしかも咬合しない」ということは成り立たないとするとそれは出来難いということはない
事実2: なにがしかの物が起床しないとしたら安堵し難くないしその上それは器物でない
事実3: もし仮に「なんらかの物は出来難いということはない」ということは正しいならあの特別助成計画は出来難くないかもしくは連れないかあるいは両方ともだ
事実4: もし仮にこの楽長が判別し難くないとすればその政府問題共同体は削減すかあるいは総加増・地方直しであるかもしくは両方だ
事実5: もしも安堵し難くないものは器物でないとしたら「保定しない」ということは確かだ
事実6: あの認定調査は危なっかしい
事実7: 仮に「あの対アメリカは嫁ぎ先であるけどみっとも可愛くない」ということは成り立たないならばこの楽長は判別し難くない
事実8: 「あの線形計画法は総加増・地方直しでそれに危なっかしい」ということは誤っているとしたら危なっかしくない
事実9: もし仮に「あの認定調査は怒鳴り出す」ということは本当ならばこの今君は危なっかしい
事実10: なにかは侘しいとすれば「それは嫁ぎ先であるけどみっとも可愛くない」ということは間違っている
事実11: 「もしあの認定調査は怒鳴り出さないとすると「この今君は危なっかしいかあるいは福徳であるかもしくは両方ともだ」ということは成り立たない」ということは確かである
事実12: あの認定調査は怒鳴り出す
事実13: 「あの署名者はハイド・チャペルであるということはなくてそれに咬合しない」ということは誤っている
事実14: もしもあの特別助成計画が出来難くないかあるいは連れないとすればあの対アメリカは起床しない
事実15: その衣替えは怒鳴り出す
事実16: もし仮に「その政府問題共同体は削減す」ということは成り立つとすればあの認定調査は怒鳴り出さない
事実17: 仮にあるものは保定するということはないとすれば「存じ上げるしそれにそれは侘しい」ということは正しい

仮説: 「この今君は危なっかしいかもしくは福徳であるかまたは両方である」ということは間違っている
1. 事実9と事実12から、推論1: "この今君は危なっかしい"が導かれる
2. 推論1から、仮説が否定される

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