「そのカカオは定立しなくて自活しない」ということは成り立たない
fact1: もしも「「なんらかの物は阿るしそれに集まり易い」ということは本当だ」ということは事実と異なるとすると鑽仰しない fact2: とある物が荒立つならそれは転回する fact3: もし仮にその対象市場が転回するとしたらそのカカオは自活しない fact4: もしその被収容者達が鑽仰しないとするとそれは自費出版するし荒立つ fact5: そのカカオは自活しない fact6: 仮にその対象市場が転回するとしたらそのカカオは定立しなくて自活しない fact7: 「あの別行動は自活する」ということは成り立つ fact8: あの五番アイアンは転回する fact9: もしとある物は転回するとすれば「定立しなくて自活しない」ということは成り立たない fact10: その対象市場は転回する
fact6 & fact10 -> hypothesis;
fact6 & fact10 -> hypothesis;
「そのカカオは定立するということはないし自活しない」ということは成り立たない
fact11 -> int1: 仮にそのカカオは転回するとしたら「定立しないし自活するということはない」ということは成り立たない;
$facts$ = fact1: もしも「「なんらかの物は阿るしそれに集まり易い」ということは本当だ」ということは事実と異なるとすると鑽仰しない fact2: とある物が荒立つならそれは転回する fact3: もし仮にその対象市場が転回するとしたらそのカカオは自活しない fact4: もしその被収容者達が鑽仰しないとするとそれは自費出版するし荒立つ fact5: そのカカオは自活しない fact6: 仮にその対象市場が転回するとしたらそのカカオは定立しなくて自活しない fact7: 「あの別行動は自活する」ということは成り立つ fact8: あの五番アイアンは転回する fact9: もしとある物は転回するとすれば「定立しなくて自活しない」ということは成り立たない fact10: その対象市場は転回する ; $hypothesis$ = 「そのカカオは定立しなくて自活しない」ということは成り立たない ; $proof$ = 
fact6 & fact10 -> hypothesis; __DISPROVED__
事実1: もしも「「なんらかの物は阿るしそれに集まり易い」ということは本当だ」ということは事実と異なるとすると鑽仰しない
事実2: とある物が荒立つならそれは転回する
事実3: もし仮にその対象市場が転回するとしたらそのカカオは自活しない
事実4: もしその被収容者達が鑽仰しないとするとそれは自費出版するし荒立つ
事実5: そのカカオは自活しない
事実6: 仮にその対象市場が転回するとしたらそのカカオは定立しなくて自活しない
事実7: 「あの別行動は自活する」ということは成り立つ
事実8: あの五番アイアンは転回する
事実9: もしとある物は転回するとすれば「定立しなくて自活しない」ということは成り立たない
事実10: その対象市場は転回する

仮説: 「そのカカオは定立しなくて自活しない」ということは成り立たない
1. 事実6と事実10から、仮説が否定される

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