この量的増大は避雷針でない
fact1: もしもあのウインカーレンズが多しならばこの量的増大は挙るが見終わらない fact2: もしもあるものがえげつないとすると避雷針である fact3: もし「あのウインカーレンズは民宿でない」ということは本当だとすれば多し fact4: もしもあのウインカーレンズが多しがしかし避雷針でないならばこの量的増大は避雷針でない fact5: もしあの形容詞が民宿であるとしたらあのウインカーレンズは多しが避雷針でない fact6: もしも何かは挙るが見終わらないならえげつない fact7: もし仮にこの量的増大は挙るし更に見終わるとすればえげつない fact8: もしも何らかの物が見終わるとしたら挙る fact9: あのウインカーレンズはえげつない一方で多しないなら「避雷針だ」ということは本当である fact10: その軽口はＣＨＩＰだし加えてまったりする fact11: もし仮に何かは挙るとしたらそれは民宿である fact12: この量的増大は見終わらない fact13: もしこの量的増大が避雷針であるがしかし民宿でないならばえげつない fact14: もしあのウインカーレンズが多しならばこの量的増大は見終わらない fact15: もしある物は挙るしおまけに見終わるならそれはえげつない fact16: あのウインカーレンズは民宿でない fact17: その最重要課題がえげつないとしたらあの形容詞は見終わる fact18: この亜脱臼は見終わる
fact3 & fact16 -> int1: あのウインカーレンズは多し; int1 & fact1 -> int2: この量的増大は挙るがしかし見終わらない; fact6 -> int3: 仮にこの量的増大は挙るけど見終わらないとすればえげつない; int2 & int3 -> int4: この量的増大はえげつない; fact2 -> int5: もしもこの量的増大はえげつないとすれば「それは避雷針である」ということは成り立つ; int4 & int5 -> hypothesis;
この量的増大は避雷針でない
fact23 -> int6: もしもあの形容詞は挙るとしたら「民宿である」ということは成り立つ; fact20 -> int7: もしあの形容詞が見終わるなら挙る; fact21 -> int8: その軽口はＣＨＩＰである; int8 -> int9: その軽口は当たるかあるいはＣＨＩＰであるか両方である; int9 -> int10: 「当たるかあるいはＣＨＩＰであるかあるいは両方な」物はある;
$facts$ = fact1: もしもあのウインカーレンズが多しならばこの量的増大は挙るが見終わらない fact2: もしもあるものがえげつないとすると避雷針である fact3: もし「あのウインカーレンズは民宿でない」ということは本当だとすれば多し fact4: もしもあのウインカーレンズが多しがしかし避雷針でないならばこの量的増大は避雷針でない fact5: もしあの形容詞が民宿であるとしたらあのウインカーレンズは多しが避雷針でない fact6: もしも何かは挙るが見終わらないならえげつない fact7: もし仮にこの量的増大は挙るし更に見終わるとすればえげつない fact8: もしも何らかの物が見終わるとしたら挙る fact9: あのウインカーレンズはえげつない一方で多しないなら「避雷針だ」ということは本当である fact10: その軽口はＣＨＩＰだし加えてまったりする fact11: もし仮に何かは挙るとしたらそれは民宿である fact12: この量的増大は見終わらない fact13: もしこの量的増大が避雷針であるがしかし民宿でないならばえげつない fact14: もしあのウインカーレンズが多しならばこの量的増大は見終わらない fact15: もしある物は挙るしおまけに見終わるならそれはえげつない fact16: あのウインカーレンズは民宿でない fact17: その最重要課題がえげつないとしたらあの形容詞は見終わる fact18: この亜脱臼は見終わる ; $hypothesis$ = この量的増大は避雷針でない ; $proof$ = 
fact3 & fact16 -> int1: あのウインカーレンズは多し; int1 & fact1 -> int2: この量的増大は挙るがしかし見終わらない; fact6 -> int3: 仮にこの量的増大は挙るけど見終わらないとすればえげつない; int2 & int3 -> int4: この量的増大はえげつない; fact2 -> int5: もしもこの量的増大はえげつないとすれば「それは避雷針である」ということは成り立つ; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もしもあのウインカーレンズが多しならばこの量的増大は挙るが見終わらない
事実2: もしもあるものがえげつないとすると避雷針である
事実3: もし「あのウインカーレンズは民宿でない」ということは本当だとすれば多し
事実4: もしもあのウインカーレンズが多しがしかし避雷針でないならばこの量的増大は避雷針でない
事実5: もしあの形容詞が民宿であるとしたらあのウインカーレンズは多しが避雷針でない
事実6: もしも何かは挙るが見終わらないならえげつない
事実7: もし仮にこの量的増大は挙るし更に見終わるとすればえげつない
事実8: もしも何らかの物が見終わるとしたら挙る
事実9: あのウインカーレンズはえげつない一方で多しないなら「避雷針だ」ということは本当である
事実10: その軽口はＣＨＩＰだし加えてまったりする
事実11: もし仮に何かは挙るとしたらそれは民宿である
事実12: この量的増大は見終わらない
事実13: もしこの量的増大が避雷針であるがしかし民宿でないならばえげつない
事実14: もしあのウインカーレンズが多しならばこの量的増大は見終わらない
事実15: もしある物は挙るしおまけに見終わるならそれはえげつない
事実16: あのウインカーレンズは民宿でない
事実17: その最重要課題がえげつないとしたらあの形容詞は見終わる
事実18: この亜脱臼は見終わる

仮説: この量的増大は避雷針でない
1. 事実3と事実16から、推論1: "あのウインカーレンズは多し"が導かれる
2. 推論1と事実1から、推論2: "この量的増大は挙るがしかし見終わらない"が導かれる
3. 事実6から、推論3: "仮にこの量的増大は挙るけど見終わらないとすればえげつない"が導かれる
4. 推論2と推論3から、推論4: "この量的増大はえげつない"が導かれる
5. 事実2から、推論5: "もしもこの量的増大はえげつないとすれば「それは避雷針である」ということは成り立つ"が導かれる
6. 推論4と推論5から、仮説が否定される

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