あの海相は計算する
fact1: この地域市場は計算する fact2: 仮に何らかの物が従軍しないがしかしそれが日記帳ならば取っ付き難いということはない fact3: もし仮にその子爵が殴り始めるし計算するとすればあの海相は創造出来ない fact4: 仮にその子爵が殴り始めるけど計算しないとしたらあの海相は計算する fact5: もしこの前後像が創造出来ないとすればその子爵は殴り始めるけれど計算するということはない fact6: もし仮にあのネイションが開き易いか鳩でないかもしくは両方ともだとしたらこの前後像は創造出来ない fact7: この最終結果は創造出来る fact8: もしとあるものは鳩ならば「殴り始めないしその上計算しない」ということは成り立たない fact9: その一部銘柄は殴り始める fact10: 「その子爵は計算する」ということは成り立つ fact11: その子爵は創造出来る fact12: あの海相は創造出来ない fact13: あの襲来は従軍しない一方で日記帳である fact14: なにがしかの物が取っ付き難いということはないとするとそれは鳩であるし開き易い fact15: もしあの鎮護神が根気強いならばそれは聡くないけど狙い易い fact16: もしもあの鎮護神が取っ付き難いならあのネイションは開き易いかもしくは鳩でないかあるいは両方である fact17: その子爵は殴り始める fact18: 仮にあの鎮護神が烏滸がましくらないとしたら際立つしさらに根気強い fact19: その子爵が殴り始めるし創造出来るならばあの海相は計算するということはない fact20: 仮に聡くないものが狙い易いとするとそれは従軍しない
fact17 & fact11 -> int1: その子爵は殴り始めるしまた創造出来る; int1 & fact19 -> hypothesis;
fact17 & fact11 -> int1: ({A}{a} & {B}{a}); int1 & fact19 -> hypothesis;
あの襲来は創造出来る
fact21 -> int2: 「仮にあの襲来は鳩ならば「「あの襲来は殴り始めないしそれに計算しない」ということは成り立つ」ということは誤っている」ということは事実と異ならない; fact24 -> int3: 仮にあの襲来が取っ付き難いということはないならば鳩だしさらに開き易い; fact23 -> int4: 仮にあの襲来は従軍しないがしかし日記帳であるとしたら「それは取っ付き難くない」ということは成り立つ; int4 & fact22 -> int5: あの襲来は取っ付き難いということはない; int3 & int5 -> int6: あの襲来は鳩で開き易い; int6 -> int7: あの襲来は鳩である; int2 & int7 -> int8: 「あの襲来は殴り始めないし加えて計算しない」ということは本当だということはない;
$facts$ = fact1: この地域市場は計算する fact2: 仮に何らかの物が従軍しないがしかしそれが日記帳ならば取っ付き難いということはない fact3: もし仮にその子爵が殴り始めるし計算するとすればあの海相は創造出来ない fact4: 仮にその子爵が殴り始めるけど計算しないとしたらあの海相は計算する fact5: もしこの前後像が創造出来ないとすればその子爵は殴り始めるけれど計算するということはない fact6: もし仮にあのネイションが開き易いか鳩でないかもしくは両方ともだとしたらこの前後像は創造出来ない fact7: この最終結果は創造出来る fact8: もしとあるものは鳩ならば「殴り始めないしその上計算しない」ということは成り立たない fact9: その一部銘柄は殴り始める fact10: 「その子爵は計算する」ということは成り立つ fact11: その子爵は創造出来る fact12: あの海相は創造出来ない fact13: あの襲来は従軍しない一方で日記帳である fact14: なにがしかの物が取っ付き難いということはないとするとそれは鳩であるし開き易い fact15: もしあの鎮護神が根気強いならばそれは聡くないけど狙い易い fact16: もしもあの鎮護神が取っ付き難いならあのネイションは開き易いかもしくは鳩でないかあるいは両方である fact17: その子爵は殴り始める fact18: 仮にあの鎮護神が烏滸がましくらないとしたら際立つしさらに根気強い fact19: その子爵が殴り始めるし創造出来るならばあの海相は計算するということはない fact20: 仮に聡くないものが狙い易いとするとそれは従軍しない ; $hypothesis$ = あの海相は計算する ; $proof$ = 
fact17 & fact11 -> int1: その子爵は殴り始めるしまた創造出来る; int1 & fact19 -> hypothesis; __DISPROVED__
事実1: この地域市場は計算する
事実2: 仮に何らかの物が従軍しないがしかしそれが日記帳ならば取っ付き難いということはない
事実3: もし仮にその子爵が殴り始めるし計算するとすればあの海相は創造出来ない
事実4: 仮にその子爵が殴り始めるけど計算しないとしたらあの海相は計算する
事実5: もしこの前後像が創造出来ないとすればその子爵は殴り始めるけれど計算するということはない
事実6: もし仮にあのネイションが開き易いか鳩でないかもしくは両方ともだとしたらこの前後像は創造出来ない
事実7: この最終結果は創造出来る
事実8: もしとあるものは鳩ならば「殴り始めないしその上計算しない」ということは成り立たない
事実9: その一部銘柄は殴り始める
事実10: 「その子爵は計算する」ということは成り立つ
事実11: その子爵は創造出来る
事実12: あの海相は創造出来ない
事実13: あの襲来は従軍しない一方で日記帳である
事実14: なにがしかの物が取っ付き難いということはないとするとそれは鳩であるし開き易い
事実15: もしあの鎮護神が根気強いならばそれは聡くないけど狙い易い
事実16: もしもあの鎮護神が取っ付き難いならあのネイションは開き易いかもしくは鳩でないかあるいは両方である
事実17: その子爵は殴り始める
事実18: 仮にあの鎮護神が烏滸がましくらないとしたら際立つしさらに根気強い
事実19: その子爵が殴り始めるし創造出来るならばあの海相は計算するということはない
事実20: 仮に聡くないものが狙い易いとするとそれは従軍しない

仮説: あの海相は計算する
1. 事実17と事実11から、推論1: "その子爵は殴り始めるしまた創造出来る"が導かれる
2. 推論1と事実19から、仮説が否定される

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