「あのチャタリングは遅行するが横たえない」ということは成り立たない
fact1: この聖ヨハネ騎士団は御手伝い出来る fact2: この聖ヨハネ騎士団は採取である fact3: もしこの聖ヨハネ騎士団が移行し始めないとするとあのチャタリングは遅行するがしかし横たえない fact4: その根本理念は遅行しない fact5: もしなんらかのものは御手伝い出来るし加えて採取だとすれば移行し始めない fact6: 「全ては混入し易くない」ということは成り立つ fact7: もし仮にこの聖ヨハネ騎士団が移行し始めるとしたらあのチャタリングは御手伝い出来る fact8: この速度勾配は御手伝い出来る fact9: なにかは採取でないとすればそれは御手伝い出来るかもしくは移行し始めるかもしくは両方ともである fact10: 「この自己破産手続きは起き易くておまけに想像し難い」ということは誤っているならそのショック大は想像し難くない fact11: もし仮にこの聖ヨハネ騎士団が御手伝い出来ればあのチャタリングは御手伝い出来る fact12: もし仮に「想像し難くない」ものがあるとしたらこの聖ヨハネ騎士団は旨しないけれど女々しい fact13: この聖ヨハネ騎士団が遅行するしそれは採取であるとしたら「それは御手伝い出来ない」ということは成り立つ fact14: 旨しない物は女々しいとしたら「採取でない」ということは事実だ fact15: もしなんらかの物は採取でないとしたら横たえるし更に御手伝い出来る
fact1 & fact2 -> int1: この聖ヨハネ騎士団は御手伝い出来るしまた採取だ; fact5 -> int2: この聖ヨハネ騎士団が御手伝い出来るしそれは採取であるならそれは移行し始めない; int1 & int2 -> int3: この聖ヨハネ騎士団は移行し始めるということはない; int3 & fact3 -> hypothesis;
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); fact5 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact3 -> hypothesis;
「あのチャタリングは遅行する一方で横たえない」ということは確かでない
fact16 -> int4: 仮にこの聖ヨハネ騎士団が旨しないがしかし女々しいならそれは採取でない; fact18 -> int5: この製造・販売は混入し易いということはない; fact20 -> int6: もしこの聖ヨハネ騎士団が採取でないとすれば御手伝い出来るかもしくは移行し始める;
$facts$ = fact1: この聖ヨハネ騎士団は御手伝い出来る fact2: この聖ヨハネ騎士団は採取である fact3: もしこの聖ヨハネ騎士団が移行し始めないとするとあのチャタリングは遅行するがしかし横たえない fact4: その根本理念は遅行しない fact5: もしなんらかのものは御手伝い出来るし加えて採取だとすれば移行し始めない fact6: 「全ては混入し易くない」ということは成り立つ fact7: もし仮にこの聖ヨハネ騎士団が移行し始めるとしたらあのチャタリングは御手伝い出来る fact8: この速度勾配は御手伝い出来る fact9: なにかは採取でないとすればそれは御手伝い出来るかもしくは移行し始めるかもしくは両方ともである fact10: 「この自己破産手続きは起き易くておまけに想像し難い」ということは誤っているならそのショック大は想像し難くない fact11: もし仮にこの聖ヨハネ騎士団が御手伝い出来ればあのチャタリングは御手伝い出来る fact12: もし仮に「想像し難くない」ものがあるとしたらこの聖ヨハネ騎士団は旨しないけれど女々しい fact13: この聖ヨハネ騎士団が遅行するしそれは採取であるとしたら「それは御手伝い出来ない」ということは成り立つ fact14: 旨しない物は女々しいとしたら「採取でない」ということは事実だ fact15: もしなんらかの物は採取でないとしたら横たえるし更に御手伝い出来る ; $hypothesis$ = 「あのチャタリングは遅行するが横たえない」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> int1: この聖ヨハネ騎士団は御手伝い出来るしまた採取だ; fact5 -> int2: この聖ヨハネ騎士団が御手伝い出来るしそれは採取であるならそれは移行し始めない; int1 & int2 -> int3: この聖ヨハネ騎士団は移行し始めるということはない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: この聖ヨハネ騎士団は御手伝い出来る
事実2: この聖ヨハネ騎士団は採取である
事実3: もしこの聖ヨハネ騎士団が移行し始めないとするとあのチャタリングは遅行するがしかし横たえない
事実4: その根本理念は遅行しない
事実5: もしなんらかのものは御手伝い出来るし加えて採取だとすれば移行し始めない
事実6: 「全ては混入し易くない」ということは成り立つ
事実7: もし仮にこの聖ヨハネ騎士団が移行し始めるとしたらあのチャタリングは御手伝い出来る
事実8: この速度勾配は御手伝い出来る
事実9: なにかは採取でないとすればそれは御手伝い出来るかもしくは移行し始めるかもしくは両方ともである
事実10: 「この自己破産手続きは起き易くておまけに想像し難い」ということは誤っているならそのショック大は想像し難くない
事実11: もし仮にこの聖ヨハネ騎士団が御手伝い出来ればあのチャタリングは御手伝い出来る
事実12: もし仮に「想像し難くない」ものがあるとしたらこの聖ヨハネ騎士団は旨しないけれど女々しい
事実13: この聖ヨハネ騎士団が遅行するしそれは採取であるとしたら「それは御手伝い出来ない」ということは成り立つ
事実14: 旨しない物は女々しいとしたら「採取でない」ということは事実だ
事実15: もしなんらかの物は採取でないとしたら横たえるし更に御手伝い出来る

仮説: 「あのチャタリングは遅行するが横たえない」ということは成り立たない
1. 事実1と事実2から、推論1: "この聖ヨハネ騎士団は御手伝い出来るしまた採取だ"が導かれる
2. 事実5から、推論2: "この聖ヨハネ騎士団が御手伝い出来るしそれは採取であるならそれは移行し始めない"が導かれる
3. 推論1と推論2から、推論3: "この聖ヨハネ騎士団は移行し始めるということはない"が導かれる
4. 推論3と事実3から、仮説が否定される

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