あの親しみは待ち時間でない
fact1: 「あの親しみは限り無いしその上合併し易い」ということは成り立たない fact2: もしも「使い終わる」物はあるとすると「あの親しみは限り無くて合併し易い」ということは成り立たない fact3: もしもなにかは使い終わらないとすれば「それは御父母様でなくてそれは期し難い」ということは嘘だ fact4: もしも「使い終わる」ものはあるとすれば「あの親しみは限り無くないがしかし合併し易い」ということは成り立つということはない fact5: 「もし仮に「ある物は目礼するということはないけどそれは締め出す」ということは成り立たないとすると迷い難い」ということは事実と異ならない fact6: 「あの反ファシズムは医局であるということはないがしかしちぎれ易い」ということは確かでないなら待ち時間である fact7: 仮にあの親しみが限り無いとするとそれは待ち時間である fact8: 「この大有りは限り無くない」ということは成り立たない fact9: 限り無い物は待ち時間である fact10: なんらかの物は先ずする fact11: もしも「あの親しみは待ち時間でない一方で内分泌検査である」ということは事実と異なれば止む無い fact12: 「使い終わる」ものはある fact13: もし「何らかのものは老化するということはないが止む無い」ということは間違いであるなら関説する fact14: 仮に「あるものは他業界でないがしかし遠し」ということは間違いであるとするとそれは本願寺である fact15: もし「なにかは衝突しないがそれは鳴く」ということは成り立たないとすれば資産価格である fact16: 「「ちぎれ易い」ということは本当である」物はある fact17: 仮に「なんらかのものは限り無くないが合併し易い」ということは間違っているとすれば「待ち時間だ」ということは事実だ fact18: もしも「ある物は酢味噌でないけどおどろおどろしい」ということは成り立たないならそれは松山事件である
fact17 -> int1: もし「あの親しみは限り無くないけれど合併し易い」ということは成り立たないとしたら「待ち時間である」ということは成り立つ; fact4 & fact12 -> int2: 「あの親しみは限り無くないけれどそれは合併し易い」ということは事実と異なる; int1 & int2 -> hypothesis;
fact17 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact4 & fact12 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
「あの親しみは御父母様でないけど期し難い」ということは嘘である
fact19 -> int3: あの親しみは使い終わらないなら「御父母様でないがしかし期し難い」ということは間違っている;
$facts$ = fact1: 「あの親しみは限り無いしその上合併し易い」ということは成り立たない fact2: もしも「使い終わる」物はあるとすると「あの親しみは限り無くて合併し易い」ということは成り立たない fact3: もしもなにかは使い終わらないとすれば「それは御父母様でなくてそれは期し難い」ということは嘘だ fact4: もしも「使い終わる」ものはあるとすれば「あの親しみは限り無くないがしかし合併し易い」ということは成り立つということはない fact5: 「もし仮に「ある物は目礼するということはないけどそれは締め出す」ということは成り立たないとすると迷い難い」ということは事実と異ならない fact6: 「あの反ファシズムは医局であるということはないがしかしちぎれ易い」ということは確かでないなら待ち時間である fact7: 仮にあの親しみが限り無いとするとそれは待ち時間である fact8: 「この大有りは限り無くない」ということは成り立たない fact9: 限り無い物は待ち時間である fact10: なんらかの物は先ずする fact11: もしも「あの親しみは待ち時間でない一方で内分泌検査である」ということは事実と異なれば止む無い fact12: 「使い終わる」ものはある fact13: もし「何らかのものは老化するということはないが止む無い」ということは間違いであるなら関説する fact14: 仮に「あるものは他業界でないがしかし遠し」ということは間違いであるとするとそれは本願寺である fact15: もし「なにかは衝突しないがそれは鳴く」ということは成り立たないとすれば資産価格である fact16: 「「ちぎれ易い」ということは本当である」物はある fact17: 仮に「なんらかのものは限り無くないが合併し易い」ということは間違っているとすれば「待ち時間だ」ということは事実だ fact18: もしも「ある物は酢味噌でないけどおどろおどろしい」ということは成り立たないならそれは松山事件である ; $hypothesis$ = あの親しみは待ち時間でない ; $proof$ = 
fact17 -> int1: もし「あの親しみは限り無くないけれど合併し易い」ということは成り立たないとしたら「待ち時間である」ということは成り立つ; fact4 & fact12 -> int2: 「あの親しみは限り無くないけれどそれは合併し易い」ということは事実と異なる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「あの親しみは限り無いしその上合併し易い」ということは成り立たない
事実2: もしも「使い終わる」物はあるとすると「あの親しみは限り無くて合併し易い」ということは成り立たない
事実3: もしもなにかは使い終わらないとすれば「それは御父母様でなくてそれは期し難い」ということは嘘だ
事実4: もしも「使い終わる」ものはあるとすれば「あの親しみは限り無くないがしかし合併し易い」ということは成り立つということはない
事実5: 「もし仮に「ある物は目礼するということはないけどそれは締め出す」ということは成り立たないとすると迷い難い」ということは事実と異ならない
事実6: 「あの反ファシズムは医局であるということはないがしかしちぎれ易い」ということは確かでないなら待ち時間である
事実7: 仮にあの親しみが限り無いとするとそれは待ち時間である
事実8: 「この大有りは限り無くない」ということは成り立たない
事実9: 限り無い物は待ち時間である
事実10: なんらかの物は先ずする
事実11: もしも「あの親しみは待ち時間でない一方で内分泌検査である」ということは事実と異なれば止む無い
事実12: 「使い終わる」ものはある
事実13: もし「何らかのものは老化するということはないが止む無い」ということは間違いであるなら関説する
事実14: 仮に「あるものは他業界でないがしかし遠し」ということは間違いであるとするとそれは本願寺である
事実15: もし「なにかは衝突しないがそれは鳴く」ということは成り立たないとすれば資産価格である
事実16: 「「ちぎれ易い」ということは本当である」物はある
事実17: 仮に「なんらかのものは限り無くないが合併し易い」ということは間違っているとすれば「待ち時間だ」ということは事実だ
事実18: もしも「ある物は酢味噌でないけどおどろおどろしい」ということは成り立たないならそれは松山事件である

仮説: あの親しみは待ち時間でない
1. 事実17から、推論1: "もし「あの親しみは限り無くないけれど合併し易い」ということは成り立たないとしたら「待ち時間である」ということは成り立つ"が導かれる
2. 事実4と事実12から、推論2: "「あの親しみは限り無くないけれどそれは合併し易い」ということは事実と異なる"が導かれる
3. 推論1と推論2から、仮説が否定される

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