そのＣＡＴは葉序パターンだ
fact1: そのリーチングは似合わない fact2: もし「そのリーチングは楽するかそれは御勧めするかまたは両方だ」ということは成り立たないとするとその懐中電灯は御勧めするということはない fact3: もしも「何かは入れ込まないしさらに縫製工場であるということはない」ということは誤りであるとすると冷遇しない fact4: もし仮にあの正方形等分布荷重が楽すればそのリーチングは葉序パターンだ fact5: もしもとあるものは国際裁判であるとすれば「入れ込まないしその上縫製工場でない」ということは嘘である fact6: もし葉序パターンがあるとするとあの正方形等分布荷重は楽するかもしくは葉序パターンである fact7: もしあのサン評価システムが上擦らないかあるいは冷遇しないかあるいはどちらもであるとすればそのシャウトは上擦らない fact8: 仮にあるものが冷遇するということはないとすればあのサン評価システムは上擦らないかもしくは冷遇しないかもしくは両方だ fact9: そのリーチングは御勧めするし更に楽する fact10: 「この一部負担は見立てるということはないしその上国際裁判であるということはない」ということは真実でない fact11: もし仮に「あの正方形等分布荷重は学び切る」ということは本当だとすればそのシャウトは冷遇する fact12: 仮にそのリーチングが葉序パターンだとすればあのＣＡＴは葉序パターンである fact13: もしも「何かは御勧めしない」ということは真実であるならば葉序パターンである fact14: もしも「この一部負担は見立てないしさらに国際裁判であるということはない」ということは成り立つということはないとするとこの自己憐憫は国際裁判である fact15: もしもある物が冷遇しないが縫製工場ならそれは葉序パターンでない fact16: そのシャウトは学び切る fact17: もしもとあるものが御勧めするとすればそれは学び切る fact18: そのＣＡＴは上擦る fact19: もしそのリーチングが学び切るならあの正方形等分布荷重は学び切る一方で上擦らない fact20: もし「そのシャウトは冷遇する」ということは正しいならそのＣＡＴは冷遇するということはないがしかし縫製工場である fact21: 仮にとあるものが上擦らないならそれは学び切るし御勧めする fact22: 小気味良いものは警戒感だ fact23: もしもあの正方形等分布荷重が楽するとしたらそのリーチングは楽しないがそれは上擦る
fact9 -> int1: そのリーチングは御勧めする; fact17 -> int2: そのリーチングは御勧めするとすると「それは学び切る」ということは本当である; int1 & int2 -> int3: 「そのリーチングは学び切る」ということは事実だ; int3 & fact19 -> int4: あの正方形等分布荷重は学び切る一方で上擦らない; int4 -> int5: 「あの正方形等分布荷重は学び切る」ということは真実である; int5 & fact11 -> int6: そのシャウトは冷遇する; int6 & fact20 -> int7: そのＣＡＴは冷遇しないけど縫製工場だ; fact15 -> int8: もしもそのＣＡＴは冷遇しないがしかし縫製工場だとしたら「葉序パターンでない」ということは確かである; int7 & int8 -> hypothesis;
その懐中電灯は葉序パターンだ
fact25 -> int9: その懐中電灯が御勧めしないならそれは葉序パターンである;
$facts$ = fact1: そのリーチングは似合わない fact2: もし「そのリーチングは楽するかそれは御勧めするかまたは両方だ」ということは成り立たないとするとその懐中電灯は御勧めするということはない fact3: もしも「何かは入れ込まないしさらに縫製工場であるということはない」ということは誤りであるとすると冷遇しない fact4: もし仮にあの正方形等分布荷重が楽すればそのリーチングは葉序パターンだ fact5: もしもとあるものは国際裁判であるとすれば「入れ込まないしその上縫製工場でない」ということは嘘である fact6: もし葉序パターンがあるとするとあの正方形等分布荷重は楽するかもしくは葉序パターンである fact7: もしあのサン評価システムが上擦らないかあるいは冷遇しないかあるいはどちらもであるとすればそのシャウトは上擦らない fact8: 仮にあるものが冷遇するということはないとすればあのサン評価システムは上擦らないかもしくは冷遇しないかもしくは両方だ fact9: そのリーチングは御勧めするし更に楽する fact10: 「この一部負担は見立てるということはないしその上国際裁判であるということはない」ということは真実でない fact11: もし仮に「あの正方形等分布荷重は学び切る」ということは本当だとすればそのシャウトは冷遇する fact12: 仮にそのリーチングが葉序パターンだとすればあのＣＡＴは葉序パターンである fact13: もしも「何かは御勧めしない」ということは真実であるならば葉序パターンである fact14: もしも「この一部負担は見立てないしさらに国際裁判であるということはない」ということは成り立つということはないとするとこの自己憐憫は国際裁判である fact15: もしもある物が冷遇しないが縫製工場ならそれは葉序パターンでない fact16: そのシャウトは学び切る fact17: もしもとあるものが御勧めするとすればそれは学び切る fact18: そのＣＡＴは上擦る fact19: もしそのリーチングが学び切るならあの正方形等分布荷重は学び切る一方で上擦らない fact20: もし「そのシャウトは冷遇する」ということは正しいならそのＣＡＴは冷遇するということはないがしかし縫製工場である fact21: 仮にとあるものが上擦らないならそれは学び切るし御勧めする fact22: 小気味良いものは警戒感だ fact23: もしもあの正方形等分布荷重が楽するとしたらそのリーチングは楽しないがそれは上擦る ; $hypothesis$ = そのＣＡＴは葉序パターンだ ; $proof$ = 
fact9 -> int1: そのリーチングは御勧めする; fact17 -> int2: そのリーチングは御勧めするとすると「それは学び切る」ということは本当である; int1 & int2 -> int3: 「そのリーチングは学び切る」ということは事実だ; int3 & fact19 -> int4: あの正方形等分布荷重は学び切る一方で上擦らない; int4 -> int5: 「あの正方形等分布荷重は学び切る」ということは真実である; int5 & fact11 -> int6: そのシャウトは冷遇する; int6 & fact20 -> int7: そのＣＡＴは冷遇しないけど縫製工場だ; fact15 -> int8: もしもそのＣＡＴは冷遇しないがしかし縫製工場だとしたら「葉序パターンでない」ということは確かである; int7 & int8 -> hypothesis; __DISPROVED__
事実1: そのリーチングは似合わない
事実2: もし「そのリーチングは楽するかそれは御勧めするかまたは両方だ」ということは成り立たないとするとその懐中電灯は御勧めするということはない
事実3: もしも「何かは入れ込まないしさらに縫製工場であるということはない」ということは誤りであるとすると冷遇しない
事実4: もし仮にあの正方形等分布荷重が楽すればそのリーチングは葉序パターンだ
事実5: もしもとあるものは国際裁判であるとすれば「入れ込まないしその上縫製工場でない」ということは嘘である
事実6: もし葉序パターンがあるとするとあの正方形等分布荷重は楽するかもしくは葉序パターンである
事実7: もしあのサン評価システムが上擦らないかあるいは冷遇しないかあるいはどちらもであるとすればそのシャウトは上擦らない
事実8: 仮にあるものが冷遇するということはないとすればあのサン評価システムは上擦らないかもしくは冷遇しないかもしくは両方だ
事実9: そのリーチングは御勧めするし更に楽する
事実10: 「この一部負担は見立てるということはないしその上国際裁判であるということはない」ということは真実でない
事実11: もし仮に「あの正方形等分布荷重は学び切る」ということは本当だとすればそのシャウトは冷遇する
事実12: 仮にそのリーチングが葉序パターンだとすればあのＣＡＴは葉序パターンである
事実13: もしも「何かは御勧めしない」ということは真実であるならば葉序パターンである
事実14: もしも「この一部負担は見立てないしさらに国際裁判であるということはない」ということは成り立つということはないとするとこの自己憐憫は国際裁判である
事実15: もしもある物が冷遇しないが縫製工場ならそれは葉序パターンでない
事実16: そのシャウトは学び切る
事実17: もしもとあるものが御勧めするとすればそれは学び切る
事実18: そのＣＡＴは上擦る
事実19: もしそのリーチングが学び切るならあの正方形等分布荷重は学び切る一方で上擦らない
事実20: もし「そのシャウトは冷遇する」ということは正しいならそのＣＡＴは冷遇するということはないがしかし縫製工場である
事実21: 仮にとあるものが上擦らないならそれは学び切るし御勧めする
事実22: 小気味良いものは警戒感だ
事実23: もしもあの正方形等分布荷重が楽するとしたらそのリーチングは楽しないがそれは上擦る

仮説: そのＣＡＴは葉序パターンだ
1. 事実9から、推論1: "そのリーチングは御勧めする"が導かれる
2. 事実17から、推論2: "そのリーチングは御勧めするとすると「それは学び切る」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "「そのリーチングは学び切る」ということは事実だ"が導かれる
4. 推論3と事実19から、推論4: "あの正方形等分布荷重は学び切る一方で上擦らない"が導かれる
5. 推論4から、推論5: "「あの正方形等分布荷重は学び切る」ということは真実である"が導かれる
6. 推論5と事実11から、推論6: "そのシャウトは冷遇する"が導かれる
7. 推論6と事実20から、推論7: "そのＣＡＴは冷遇しないけど縫製工場だ"が導かれる
8. 事実15から、推論8: "もしもそのＣＡＴは冷遇しないがしかし縫製工場だとしたら「葉序パターンでない」ということは確かである"が導かれる
9. 推論7と推論8から、仮説が否定される

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