この節約遺伝子は攻め寄せる
fact1: その平安時代末期は御一読下さる fact2: もし「その平安時代末期は監督すか御一読下さらないかまたは両方ともである」ということは偽だとしたら「この他球団は攻め倦む」ということは真実である fact3: 「その平安時代末期は監督すかまたはそれは御一読下さらないかもしくは両方だ」ということは成り立つということはない fact4: その平安時代末期は攻め倦むか御一読下さる fact5: もし「その店舗内は知識人層でない」ということは確かであるとすると「この他球団は展開し易くないしおまけに課徴金でない」ということは成り立たない fact6: 「「その平安時代末期は監督すかまたはそれは御一読下さるかどちらもである」ということは間違いである」ということは本当ならこの他球団は攻め倦む fact7: このアーク溶接装置は実地である fact8: その平安時代末期は監督すかまたは腑甲斐無い fact9: 不使用は攻め倦む fact10: この他球団が腑甲斐無いとしたらこの節約遺伝子は攻め寄せない fact11: もし仮に「「展開し易くないし加えて課徴金でない」ということは嘘である」ものがあるとするとその平安時代末期は設定し為さる fact12: 仮に何らかの物は設定し為されば不使用だ fact13: もし仮に「このアーク溶接装置は俗っぽいしまた実地である」ということは本当であるとするとその店舗内は知識人層でない fact14: このアーク溶接装置は俗っぽい fact15: もしこの他球団が攻め倦むかあるいは腑甲斐無いかまたは両方ともであるならばこの節約遺伝子は攻め寄せない
fact2 & fact3 -> int1: この他球団は攻め倦む; int1 -> int2: この他球団は攻め倦むかあるいは腑甲斐無いかもしくはどちらもだ; int2 & fact15 -> hypothesis;
この節約遺伝子は攻め寄せる
fact21 -> int3: その平安時代末期は不使用であるとしたら攻め倦む; fact22 -> int4: その平安時代末期が設定し為さるとすればそれは不使用である; fact16 & fact18 -> int5: このアーク溶接装置は俗っぽくてそれに実地だ; fact17 & int5 -> int6: その店舗内は知識人層だということはない; fact20 & int6 -> int7: 「この他球団は展開し易くないしそれは課徴金でない」ということは間違っている; int7 -> int8: 「「展開し易くないしまた課徴金でない」ということは事実と異なる」ものはある; int8 & fact19 -> int9: その平安時代末期は設定し為さる; int4 & int9 -> int10: その平安時代末期は不使用だ; int3 & int10 -> int11: その平安時代末期は攻め倦む; int11 -> int12: 「攻め倦む」物はある;
$facts$ = fact1: その平安時代末期は御一読下さる fact2: もし「その平安時代末期は監督すか御一読下さらないかまたは両方ともである」ということは偽だとしたら「この他球団は攻め倦む」ということは真実である fact3: 「その平安時代末期は監督すかまたはそれは御一読下さらないかもしくは両方だ」ということは成り立つということはない fact4: その平安時代末期は攻め倦むか御一読下さる fact5: もし「その店舗内は知識人層でない」ということは確かであるとすると「この他球団は展開し易くないしおまけに課徴金でない」ということは成り立たない fact6: 「「その平安時代末期は監督すかまたはそれは御一読下さるかどちらもである」ということは間違いである」ということは本当ならこの他球団は攻め倦む fact7: このアーク溶接装置は実地である fact8: その平安時代末期は監督すかまたは腑甲斐無い fact9: 不使用は攻め倦む fact10: この他球団が腑甲斐無いとしたらこの節約遺伝子は攻め寄せない fact11: もし仮に「「展開し易くないし加えて課徴金でない」ということは嘘である」ものがあるとするとその平安時代末期は設定し為さる fact12: 仮に何らかの物は設定し為されば不使用だ fact13: もし仮に「このアーク溶接装置は俗っぽいしまた実地である」ということは本当であるとするとその店舗内は知識人層でない fact14: このアーク溶接装置は俗っぽい fact15: もしこの他球団が攻め倦むかあるいは腑甲斐無いかまたは両方ともであるならばこの節約遺伝子は攻め寄せない ; $hypothesis$ = この節約遺伝子は攻め寄せる ; $proof$ = 
fact2 & fact3 -> int1: この他球団は攻め倦む; int1 -> int2: この他球団は攻め倦むかあるいは腑甲斐無いかもしくはどちらもだ; int2 & fact15 -> hypothesis; __DISPROVED__
事実1: その平安時代末期は御一読下さる
事実2: もし「その平安時代末期は監督すか御一読下さらないかまたは両方ともである」ということは偽だとしたら「この他球団は攻め倦む」ということは真実である
事実3: 「その平安時代末期は監督すかまたはそれは御一読下さらないかもしくは両方だ」ということは成り立つということはない
事実4: その平安時代末期は攻め倦むか御一読下さる
事実5: もし「その店舗内は知識人層でない」ということは確かであるとすると「この他球団は展開し易くないしおまけに課徴金でない」ということは成り立たない
事実6: 「「その平安時代末期は監督すかまたはそれは御一読下さるかどちらもである」ということは間違いである」ということは本当ならこの他球団は攻め倦む
事実7: このアーク溶接装置は実地である
事実8: その平安時代末期は監督すかまたは腑甲斐無い
事実9: 不使用は攻め倦む
事実10: この他球団が腑甲斐無いとしたらこの節約遺伝子は攻め寄せない
事実11: もし仮に「「展開し易くないし加えて課徴金でない」ということは嘘である」ものがあるとするとその平安時代末期は設定し為さる
事実12: 仮に何らかの物は設定し為されば不使用だ
事実13: もし仮に「このアーク溶接装置は俗っぽいしまた実地である」ということは本当であるとするとその店舗内は知識人層でない
事実14: このアーク溶接装置は俗っぽい
事実15: もしこの他球団が攻め倦むかあるいは腑甲斐無いかまたは両方ともであるならばこの節約遺伝子は攻め寄せない

仮説: この節約遺伝子は攻め寄せる
1. 事実2と事実3から、推論1: "この他球団は攻め倦む"が導かれる
2. 推論1から、推論2: "この他球団は攻め倦むかあるいは腑甲斐無いかもしくはどちらもだ"が導かれる
3. 推論2と事実15から、仮説が否定される

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