あの和気は整理統合でない
fact1: 仮に「果実品質でない」物があるとすればあの和気は整理統合である fact2: 「「果実品質でおまけに囲い地だ」ということは事実でない」ものはある fact3: もし「「果実品質であるしまた囲い地でない」ということは確かでない」物があるならばあの和気は整理統合である fact4: もしその財政援助がクラブサン奏者であるとしたらあの成年者は怒鳴り付ける fact5: 「「疲れ易いししかも示し易くない」ということは確かでない」ものはある fact6: 「その財政援助は御願い申し上げる」ということは成り立つ fact7: 「そのＤＶＤ‐Ｒ／ＲＷは果実品質であるがそれは囲い地でない」ということは成り立たない fact8: その財政援助が御願い申し上げるならそれはクラブサン奏者だ fact9: もしあの成年者が装着するということはないとしたらあの和気は辛抱強いし見習う fact10: ある物は辛抱強いなら「整理統合でない」ということは成り立つ fact11: 「「果実品質だ一方で囲い地でない」ということは間違っている」物があるとするとそのＤＶＤ‐Ｒ／ＲＷは整理統合である fact12: そのＤＶＤ‐Ｒ／ＲＷは整理統合だ fact13: もし仮になんらかの物は整理統合でないとしたら「ひさこだしかつ地下深いということはない」ということは嘘だ fact14: 仮に何かは怒鳴り付けるしそれが割れ難いとするとそれは装着しない fact15: なんらかのものは果実品質だがしかしそれは囲い地でない
fact7 -> int1: 「「果実品質であるがしかし囲い地でない」ということは事実と異なる」ものはある; int1 & fact3 -> hypothesis;
あの和気は整理統合でない
fact17 -> int2: もしも「あの和気は辛抱強い」ということは確かであるとすれば整理統合でない; fact21 -> int3: もし仮にあの成年者は怒鳴り付けるしまた割れ難いとするとそれは装着するということはない; fact20 & fact18 -> int4: その財政援助はクラブサン奏者だ; fact16 & int4 -> int5: 「あの成年者は怒鳴り付ける」ということは成り立つ;
$facts$ = fact1: 仮に「果実品質でない」物があるとすればあの和気は整理統合である fact2: 「「果実品質でおまけに囲い地だ」ということは事実でない」ものはある fact3: もし「「果実品質であるしまた囲い地でない」ということは確かでない」物があるならばあの和気は整理統合である fact4: もしその財政援助がクラブサン奏者であるとしたらあの成年者は怒鳴り付ける fact5: 「「疲れ易いししかも示し易くない」ということは確かでない」ものはある fact6: 「その財政援助は御願い申し上げる」ということは成り立つ fact7: 「そのＤＶＤ‐Ｒ／ＲＷは果実品質であるがそれは囲い地でない」ということは成り立たない fact8: その財政援助が御願い申し上げるならそれはクラブサン奏者だ fact9: もしあの成年者が装着するということはないとしたらあの和気は辛抱強いし見習う fact10: ある物は辛抱強いなら「整理統合でない」ということは成り立つ fact11: 「「果実品質だ一方で囲い地でない」ということは間違っている」物があるとするとそのＤＶＤ‐Ｒ／ＲＷは整理統合である fact12: そのＤＶＤ‐Ｒ／ＲＷは整理統合だ fact13: もし仮になんらかの物は整理統合でないとしたら「ひさこだしかつ地下深いということはない」ということは嘘だ fact14: 仮に何かは怒鳴り付けるしそれが割れ難いとするとそれは装着しない fact15: なんらかのものは果実品質だがしかしそれは囲い地でない ; $hypothesis$ = あの和気は整理統合でない ; $proof$ = 
fact7 -> int1: 「「果実品質であるがしかし囲い地でない」ということは事実と異なる」ものはある; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「果実品質でない」物があるとすればあの和気は整理統合である
事実2: 「「果実品質でおまけに囲い地だ」ということは事実でない」ものはある
事実3: もし「「果実品質であるしまた囲い地でない」ということは確かでない」物があるならばあの和気は整理統合である
事実4: もしその財政援助がクラブサン奏者であるとしたらあの成年者は怒鳴り付ける
事実5: 「「疲れ易いししかも示し易くない」ということは確かでない」ものはある
事実6: 「その財政援助は御願い申し上げる」ということは成り立つ
事実7: 「そのＤＶＤ‐Ｒ／ＲＷは果実品質であるがそれは囲い地でない」ということは成り立たない
事実8: その財政援助が御願い申し上げるならそれはクラブサン奏者だ
事実9: もしあの成年者が装着するということはないとしたらあの和気は辛抱強いし見習う
事実10: ある物は辛抱強いなら「整理統合でない」ということは成り立つ
事実11: 「「果実品質だ一方で囲い地でない」ということは間違っている」物があるとするとそのＤＶＤ‐Ｒ／ＲＷは整理統合である
事実12: そのＤＶＤ‐Ｒ／ＲＷは整理統合だ
事実13: もし仮になんらかの物は整理統合でないとしたら「ひさこだしかつ地下深いということはない」ということは嘘だ
事実14: 仮に何かは怒鳴り付けるしそれが割れ難いとするとそれは装着しない
事実15: なんらかのものは果実品質だがしかしそれは囲い地でない

仮説: あの和気は整理統合でない
1. 事実7から、推論1: "「「果実品質であるがしかし囲い地でない」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実3から、仮説が否定される

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