その唯物論者は移動し易い
fact1: もし移動し易い物は薬臭くないとしたら「望みだ」ということは成り立つ fact2: フレイルチェストは薬臭い fact3: あの存廃は移動し易くない fact4: もし仮にあの禁煙は陰気臭いならば「それは巨大化しなくてそれは忙しない」ということは成り立たない fact5: その現・未了以外は板の間でないとすると思い付かない fact6: あの禁煙は陰気臭い fact7: その現・未了以外は望みでない fact8: もし「その現・未了以外は望みでない」ということは事実と異ならないならば「齧り付くかあるいは農業社会である」ということは嘘だ fact9: もし仮にその唯物論者が引き寄せないとするとそれは移動し易くない fact10: もしもその現・未了以外が望みであるとすればあの医療体制は望みでない fact11: 薬臭いものは望みだ fact12: 仮に「その現・未了以外は望みでない」ということは事実と異ならないとすればそれは農業社会でない fact13: もしも何かは望みだとすれば移動し易い fact14: もしもその現・未了以外が望みならその唯物論者は望みである fact15: もしも「「巨大化しなくて加えて忙しない」ということは偽である」ものがあるとすればあの仏教教義は腐敗する fact16: フレイルチェストは移動し易いけど薬臭いということはない fact17: もしも「「その現・未了以外は齧り付くかまたは農業社会であるかもしくは両方ともだ」ということは確かである」ということは成り立たないならばあの唯物論者は移動し易くない
fact8 & fact7 -> int1: 「「その現・未了以外は齧り付くかまたは農業社会であるかまたはどちらもである」ということは間違いだ」ということは成り立つ; int1 & fact17 -> hypothesis;
fact8 & fact7 -> int1: ¬({AA}{a} v {AB}{a}); int1 & fact17 -> hypothesis;
この医療体制は望みでない
fact19 -> int2: もし仮にその現・未了以外は移動し易いけど薬臭くないとすれば望みだ; fact18 -> int3: もしその現・未了以外がフレイルチェストだとしたらそれは移動し易くて薬臭くない;
$facts$ = fact1: もし移動し易い物は薬臭くないとしたら「望みだ」ということは成り立つ fact2: フレイルチェストは薬臭い fact3: あの存廃は移動し易くない fact4: もし仮にあの禁煙は陰気臭いならば「それは巨大化しなくてそれは忙しない」ということは成り立たない fact5: その現・未了以外は板の間でないとすると思い付かない fact6: あの禁煙は陰気臭い fact7: その現・未了以外は望みでない fact8: もし「その現・未了以外は望みでない」ということは事実と異ならないならば「齧り付くかあるいは農業社会である」ということは嘘だ fact9: もし仮にその唯物論者が引き寄せないとするとそれは移動し易くない fact10: もしもその現・未了以外が望みであるとすればあの医療体制は望みでない fact11: 薬臭いものは望みだ fact12: 仮に「その現・未了以外は望みでない」ということは事実と異ならないとすればそれは農業社会でない fact13: もしも何かは望みだとすれば移動し易い fact14: もしもその現・未了以外が望みならその唯物論者は望みである fact15: もしも「「巨大化しなくて加えて忙しない」ということは偽である」ものがあるとすればあの仏教教義は腐敗する fact16: フレイルチェストは移動し易いけど薬臭いということはない fact17: もしも「「その現・未了以外は齧り付くかまたは農業社会であるかもしくは両方ともだ」ということは確かである」ということは成り立たないならばあの唯物論者は移動し易くない ; $hypothesis$ = その唯物論者は移動し易い ; $proof$ = 
fact8 & fact7 -> int1: 「「その現・未了以外は齧り付くかまたは農業社会であるかまたはどちらもである」ということは間違いだ」ということは成り立つ; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: もし移動し易い物は薬臭くないとしたら「望みだ」ということは成り立つ
事実2: フレイルチェストは薬臭い
事実3: あの存廃は移動し易くない
事実4: もし仮にあの禁煙は陰気臭いならば「それは巨大化しなくてそれは忙しない」ということは成り立たない
事実5: その現・未了以外は板の間でないとすると思い付かない
事実6: あの禁煙は陰気臭い
事実7: その現・未了以外は望みでない
事実8: もし「その現・未了以外は望みでない」ということは事実と異ならないならば「齧り付くかあるいは農業社会である」ということは嘘だ
事実9: もし仮にその唯物論者が引き寄せないとするとそれは移動し易くない
事実10: もしもその現・未了以外が望みであるとすればあの医療体制は望みでない
事実11: 薬臭いものは望みだ
事実12: 仮に「その現・未了以外は望みでない」ということは事実と異ならないとすればそれは農業社会でない
事実13: もしも何かは望みだとすれば移動し易い
事実14: もしもその現・未了以外が望みならその唯物論者は望みである
事実15: もしも「「巨大化しなくて加えて忙しない」ということは偽である」ものがあるとすればあの仏教教義は腐敗する
事実16: フレイルチェストは移動し易いけど薬臭いということはない
事実17: もしも「「その現・未了以外は齧り付くかまたは農業社会であるかもしくは両方ともだ」ということは確かである」ということは成り立たないならばあの唯物論者は移動し易くない

仮説: その唯物論者は移動し易い
1. 事実8と事実7から、推論1: "「「その現・未了以外は齧り付くかまたは農業社会であるかまたはどちらもである」ということは間違いだ」ということは成り立つ"が導かれる
2. 推論1と事実17から、仮説が否定される

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