あの受精後はカナカ人である
fact1: もしそのセツルメント運動はスクリプト言語でないなら「それは格好良い」ということは真実である fact2: そのセツルメント運動が格好良いとしたらあの受精後は格好良い fact3: 「そのセツルメント運動は招ぐない一方でスクリプト言語だ」ということは嘘である fact4: 「もし仮にとあるものは反論し掛けるとしたら「それは芽ぐまないがしかし加勢する」ということは成り立たない」ということは事実だ fact5: もし仮にそのセツルメント運動が愛しならそれは一号馬でない fact6: 仮にあの受精後が格好良いならばそれは取得し易い fact7: 仮に「「なにかは芽ぐまないけれど加勢する」ということは事実だ」ということは事実でないとすればそれは素っ気なくない fact8: あの受精後はスクリプト言語だ fact9: あの受精後は素っ気ない fact10: もし仮に「そのセツルメント運動は招ぐないけれどスクリプト言語だ」ということは成り立たないならそれは格好良い fact11: もし仮にそのセツルメント運動が素っ気ないとするとそれは三正言だ fact12: もし仮にそのセツルメント運動がカナカ人だとすればあの受精後は格好良い fact13: ある物が素っ気なくないならばそれはカナカ人であるかまたはそれは格好良いかもしくは両方である fact14: そのセツルメント運動は素っ気ない fact15: 格好良い物は取得し易い fact16: もしそのセツルメント運動は一号馬でないとしたら反論し掛けるし大人らしい fact17: もし仮にそのセツルメント運動が取得し易いし三正言であるならばあの受精後はカナカ人でない
fact10 & fact3 -> int1: そのセツルメント運動は格好良い; fact15 -> int2: 仮に「そのセツルメント運動は格好良い」ということは本当なら取得し易い; int1 & int2 -> int3: そのセツルメント運動は取得し易い; fact11 & fact14 -> int4: そのセツルメント運動は三正言である; int3 & int4 -> int5: そのセツルメント運動は取得し易いし更に三正言だ; int5 & fact17 -> hypothesis;
あの受精後は三正言である
fact18 -> int6: そのセツルメント運動が素っ気なくないとすればそれはカナカ人であるか格好良い; fact20 -> int7: 「そのセツルメント運動は芽ぐまない一方で加勢する」ということは誤りであるとすればそれは素っ気なくない; fact22 -> int8: もしもそのセツルメント運動は反論し掛けるとしたら「それが芽ぐまないし更に加勢する」ということは誤りである;
$facts$ = fact1: もしそのセツルメント運動はスクリプト言語でないなら「それは格好良い」ということは真実である fact2: そのセツルメント運動が格好良いとしたらあの受精後は格好良い fact3: 「そのセツルメント運動は招ぐない一方でスクリプト言語だ」ということは嘘である fact4: 「もし仮にとあるものは反論し掛けるとしたら「それは芽ぐまないがしかし加勢する」ということは成り立たない」ということは事実だ fact5: もし仮にそのセツルメント運動が愛しならそれは一号馬でない fact6: 仮にあの受精後が格好良いならばそれは取得し易い fact7: 仮に「「なにかは芽ぐまないけれど加勢する」ということは事実だ」ということは事実でないとすればそれは素っ気なくない fact8: あの受精後はスクリプト言語だ fact9: あの受精後は素っ気ない fact10: もし仮に「そのセツルメント運動は招ぐないけれどスクリプト言語だ」ということは成り立たないならそれは格好良い fact11: もし仮にそのセツルメント運動が素っ気ないとするとそれは三正言だ fact12: もし仮にそのセツルメント運動がカナカ人だとすればあの受精後は格好良い fact13: ある物が素っ気なくないならばそれはカナカ人であるかまたはそれは格好良いかもしくは両方である fact14: そのセツルメント運動は素っ気ない fact15: 格好良い物は取得し易い fact16: もしそのセツルメント運動は一号馬でないとしたら反論し掛けるし大人らしい fact17: もし仮にそのセツルメント運動が取得し易いし三正言であるならばあの受精後はカナカ人でない ; $hypothesis$ = あの受精後はカナカ人である ; $proof$ = 
fact10 & fact3 -> int1: そのセツルメント運動は格好良い; fact15 -> int2: 仮に「そのセツルメント運動は格好良い」ということは本当なら取得し易い; int1 & int2 -> int3: そのセツルメント運動は取得し易い; fact11 & fact14 -> int4: そのセツルメント運動は三正言である; int3 & int4 -> int5: そのセツルメント運動は取得し易いし更に三正言だ; int5 & fact17 -> hypothesis; __DISPROVED__
事実1: もしそのセツルメント運動はスクリプト言語でないなら「それは格好良い」ということは真実である
事実2: そのセツルメント運動が格好良いとしたらあの受精後は格好良い
事実3: 「そのセツルメント運動は招ぐない一方でスクリプト言語だ」ということは嘘である
事実4: 「もし仮にとあるものは反論し掛けるとしたら「それは芽ぐまないがしかし加勢する」ということは成り立たない」ということは事実だ
事実5: もし仮にそのセツルメント運動が愛しならそれは一号馬でない
事実6: 仮にあの受精後が格好良いならばそれは取得し易い
事実7: 仮に「「なにかは芽ぐまないけれど加勢する」ということは事実だ」ということは事実でないとすればそれは素っ気なくない
事実8: あの受精後はスクリプト言語だ
事実9: あの受精後は素っ気ない
事実10: もし仮に「そのセツルメント運動は招ぐないけれどスクリプト言語だ」ということは成り立たないならそれは格好良い
事実11: もし仮にそのセツルメント運動が素っ気ないとするとそれは三正言だ
事実12: もし仮にそのセツルメント運動がカナカ人だとすればあの受精後は格好良い
事実13: ある物が素っ気なくないならばそれはカナカ人であるかまたはそれは格好良いかもしくは両方である
事実14: そのセツルメント運動は素っ気ない
事実15: 格好良い物は取得し易い
事実16: もしそのセツルメント運動は一号馬でないとしたら反論し掛けるし大人らしい
事実17: もし仮にそのセツルメント運動が取得し易いし三正言であるならばあの受精後はカナカ人でない

仮説: あの受精後はカナカ人である
1. 事実10と事実3から、推論1: "そのセツルメント運動は格好良い"が導かれる
2. 事実15から、推論2: "仮に「そのセツルメント運動は格好良い」ということは本当なら取得し易い"が導かれる
3. 推論1と推論2から、推論3: "そのセツルメント運動は取得し易い"が導かれる
4. 事実11と事実14から、推論4: "そのセツルメント運動は三正言である"が導かれる
5. 推論3と推論4から、推論5: "そのセツルメント運動は取得し易いし更に三正言だ"が導かれる
6. 推論5と事実17から、仮説が否定される

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