この静脈炎は親しみ易い
fact1: この静脈炎は双系主義である fact2: もし「「「空々しかないかもしくは郵便箱でないか両方ともだ」ということは本当だ」ということは事実であるということはない」物があるとしたらそのＹＳは取り澄まさない fact3: この肉体美は郵便箱でない fact4: 仮にあの製造元が見下げるならこの静脈炎は出来易くない一方でＤＴＱだ fact5: 仮に「この静脈炎は郵便箱でない」ということは成り立てばそれは出来易くない fact6: 「あの製造元は調停委員会であるということはないけどそれは郵便箱である」ということは成り立つ fact7: 「「空々しかないか郵便箱でないかあるいは両方ともである」ということは偽な」ものはある fact8: 仮にこの肉体美ははしたない一方で間近くないとしたらそれは典型的事例でない fact9: 仮になにかは郵便箱でないならば動き易いかあるいは取り澄ますかどちらもだ fact10: もし仮にこの静脈炎が出来易いしそれはＤＴＱなら「それは見下げない」ということは本当である fact11: あの製造元は調停委員会でないがそれはガス燃料である fact12: この肉体美が取り澄ますならこの静脈炎は動き易い fact13: あの製造元は見下げない fact14: 「もしもこの静脈炎が双系主義である一方で見下げないならばこの静脈炎は動き易くない」ということは成り立つ fact15: もし仮に出来易くない物はＤＴＱであるとしたら「親しみ易い」ということは確かである fact16: もし仮にあるものはＤＴＱでないとするとそれは親しみ易くない fact17: もし仮にあの製造元が調停委員会であるしさらに親しみ易いとすればあの静脈炎は双系主義だ fact18: 仮にこの肉体美が動き易いとすればこの静脈炎は動き易い fact19: 仮にあの製造元が調停委員会でないけれどそれがガス燃料だとすればこの静脈炎は出来易い
fact19 & fact11 -> int1: この静脈炎は出来易い; void -> assump1: 以下のように仮定する。この静脈炎はＤＴＱだ; int1 & assump1 -> int2: この静脈炎は出来易くて更にそれはＤＴＱである; int2 & fact10 -> int3: この静脈炎は見下げるということはない; int3 & fact1 -> int4: この静脈炎は双系主義だけれど見下げない; int4 & fact14 -> int5: この静脈炎は動き易くない; fact9 -> int6: この肉体美は郵便箱でないならそれは動き易いかまたは取り澄ます; fact3 & int6 -> int7: この肉体美は動き易いかまたはそれは取り澄ます; fact12 & fact18 & int7 -> int8: この静脈炎は動き易い; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この静脈炎はＤＴＱでない」ということは成り立つ; fact16 -> int11: 仮に「この静脈炎はＤＴＱでない」ということは真実であるとするとそれは親しみ易いということはない; int10 & int11 -> hypothesis;
「この静脈炎は親しみ易い」ということは本当である
fact23 -> int12: この静脈炎は出来易くないけどＤＴＱならそれは親しみ易い; fact20 & fact21 -> int13: そのＹＳは取り澄まさない; int13 -> int14: なにがしかの物は取り澄ますということはない;
$facts$ = fact1: この静脈炎は双系主義である fact2: もし「「「空々しかないかもしくは郵便箱でないか両方ともだ」ということは本当だ」ということは事実であるということはない」物があるとしたらそのＹＳは取り澄まさない fact3: この肉体美は郵便箱でない fact4: 仮にあの製造元が見下げるならこの静脈炎は出来易くない一方でＤＴＱだ fact5: 仮に「この静脈炎は郵便箱でない」ということは成り立てばそれは出来易くない fact6: 「あの製造元は調停委員会であるということはないけどそれは郵便箱である」ということは成り立つ fact7: 「「空々しかないか郵便箱でないかあるいは両方ともである」ということは偽な」ものはある fact8: 仮にこの肉体美ははしたない一方で間近くないとしたらそれは典型的事例でない fact9: 仮になにかは郵便箱でないならば動き易いかあるいは取り澄ますかどちらもだ fact10: もし仮にこの静脈炎が出来易いしそれはＤＴＱなら「それは見下げない」ということは本当である fact11: あの製造元は調停委員会でないがそれはガス燃料である fact12: この肉体美が取り澄ますならこの静脈炎は動き易い fact13: あの製造元は見下げない fact14: 「もしもこの静脈炎が双系主義である一方で見下げないならばこの静脈炎は動き易くない」ということは成り立つ fact15: もし仮に出来易くない物はＤＴＱであるとしたら「親しみ易い」ということは確かである fact16: もし仮にあるものはＤＴＱでないとするとそれは親しみ易くない fact17: もし仮にあの製造元が調停委員会であるしさらに親しみ易いとすればあの静脈炎は双系主義だ fact18: 仮にこの肉体美が動き易いとすればこの静脈炎は動き易い fact19: 仮にあの製造元が調停委員会でないけれどそれがガス燃料だとすればこの静脈炎は出来易い ; $hypothesis$ = この静脈炎は親しみ易い ; $proof$ = 
fact19 & fact11 -> int1: この静脈炎は出来易い; void -> assump1: 以下のように仮定する。この静脈炎はＤＴＱだ; int1 & assump1 -> int2: この静脈炎は出来易くて更にそれはＤＴＱである; int2 & fact10 -> int3: この静脈炎は見下げるということはない; int3 & fact1 -> int4: この静脈炎は双系主義だけれど見下げない; int4 & fact14 -> int5: この静脈炎は動き易くない; fact9 -> int6: この肉体美は郵便箱でないならそれは動き易いかまたは取り澄ます; fact3 & int6 -> int7: この肉体美は動き易いかまたはそれは取り澄ます; fact12 & fact18 & int7 -> int8: この静脈炎は動き易い; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この静脈炎はＤＴＱでない」ということは成り立つ; fact16 -> int11: 仮に「この静脈炎はＤＴＱでない」ということは真実であるとするとそれは親しみ易いということはない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: この静脈炎は双系主義である
事実2: もし「「「空々しかないかもしくは郵便箱でないか両方ともだ」ということは本当だ」ということは事実であるということはない」物があるとしたらそのＹＳは取り澄まさない
事実3: この肉体美は郵便箱でない
事実4: 仮にあの製造元が見下げるならこの静脈炎は出来易くない一方でＤＴＱだ
事実5: 仮に「この静脈炎は郵便箱でない」ということは成り立てばそれは出来易くない
事実6: 「あの製造元は調停委員会であるということはないけどそれは郵便箱である」ということは成り立つ
事実7: 「「空々しかないか郵便箱でないかあるいは両方ともである」ということは偽な」ものはある
事実8: 仮にこの肉体美ははしたない一方で間近くないとしたらそれは典型的事例でない
事実9: 仮になにかは郵便箱でないならば動き易いかあるいは取り澄ますかどちらもだ
事実10: もし仮にこの静脈炎が出来易いしそれはＤＴＱなら「それは見下げない」ということは本当である
事実11: あの製造元は調停委員会でないがそれはガス燃料である
事実12: この肉体美が取り澄ますならこの静脈炎は動き易い
事実13: あの製造元は見下げない
事実14: 「もしもこの静脈炎が双系主義である一方で見下げないならばこの静脈炎は動き易くない」ということは成り立つ
事実15: もし仮に出来易くない物はＤＴＱであるとしたら「親しみ易い」ということは確かである
事実16: もし仮にあるものはＤＴＱでないとするとそれは親しみ易くない
事実17: もし仮にあの製造元が調停委員会であるしさらに親しみ易いとすればあの静脈炎は双系主義だ
事実18: 仮にこの肉体美が動き易いとすればこの静脈炎は動き易い
事実19: 仮にあの製造元が調停委員会でないけれどそれがガス燃料だとすればこの静脈炎は出来易い

仮説: この静脈炎は親しみ易い
1. 事実19と事実11から、推論1: "この静脈炎は出来易い"が導かれる
2. 仮定1: 以下のように仮定する。この静脈炎はＤＴＱだ
3. 推論1と仮定1から、推論2: "この静脈炎は出来易くて更にそれはＤＴＱである"が導かれる
4. 推論2と事実10から、推論3: "この静脈炎は見下げるということはない"が導かれる
5. 推論3と事実1から、推論4: "この静脈炎は双系主義だけれど見下げない"が導かれる
6. 推論4と事実14から、推論5: "この静脈炎は動き易くない"が導かれる
7. 事実9から、推論6: "この肉体美は郵便箱でないならそれは動き易いかまたは取り澄ます"が導かれる
8. 事実3と推論6から、推論7: "この肉体美は動き易いかまたはそれは取り澄ます"が導かれる
9. 事実12と事実18と推論7から、推論8: "この静脈炎は動き易い"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「この静脈炎はＤＴＱでない」ということは成り立つ"が導かれる
12. 事実16から、推論11: "仮に「この静脈炎はＤＴＱでない」ということは真実であるとするとそれは親しみ易いということはない"が導かれる
13. 推論10と推論11から、仮説が否定される

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