あの友達同士は二セットだ
fact1: もし「あの友達同士は連結リストで二セットである」ということは成り立たないならばその対立形質は連結リストでない fact2: もしも「あの再生実務は喜び勇むということはないけれど所得保障である」ということは嘘であるとしたらそれは有料老人ホームだということはない fact3: 仮になにかは日本食料品であるとすると女らしくない fact4: 全ては有料老人ホームだ fact5: もし仮にあるものが排尿障害であるかまたは連結リストであるかどちらもなら二セットであるということはない fact6: あの友達同士は活用し易くないとすると排尿障害であるかもしくは連結リストであるかあるいは両方である fact7: もしあの友達同士が預け合わないならそれは難しいかまたは活用し易いか両方である fact8: 仮になんらかのものは有料老人ホームであるがしかし下がり始めるということはないとするとそれはシェークするということはない fact9: あの友達同士は活用し易くない fact10: 「すべては下がり始めない」ということは誤っていない fact11: もし仮に「何かは排尿障害だ」ということは事実であるならば二セットでない fact12: もしもなにがしかの物は活用し易いとしたら「あの友達同士は連結リストであるし二セットだ」ということは間違っている fact13: 仮にあるものが有料老人ホームだということはないとすると下がり始めない
fact6 & fact9 -> int1: あの友達同士は排尿障害であるかもしくは連結リストだ; fact5 -> int2: もし仮にあの友達同士は排尿障害であるか連結リストであるかあるいはどちらもならば二セットでない; int1 & int2 -> hypothesis;
その対立形質は連結リストでない
fact17 -> int3: あの再生実務は有料老人ホームであるということはないとすれば下がり始めない;
$facts$ = fact1: もし「あの友達同士は連結リストで二セットである」ということは成り立たないならばその対立形質は連結リストでない fact2: もしも「あの再生実務は喜び勇むということはないけれど所得保障である」ということは嘘であるとしたらそれは有料老人ホームだということはない fact3: 仮になにかは日本食料品であるとすると女らしくない fact4: 全ては有料老人ホームだ fact5: もし仮にあるものが排尿障害であるかまたは連結リストであるかどちらもなら二セットであるということはない fact6: あの友達同士は活用し易くないとすると排尿障害であるかもしくは連結リストであるかあるいは両方である fact7: もしあの友達同士が預け合わないならそれは難しいかまたは活用し易いか両方である fact8: 仮になんらかのものは有料老人ホームであるがしかし下がり始めるということはないとするとそれはシェークするということはない fact9: あの友達同士は活用し易くない fact10: 「すべては下がり始めない」ということは誤っていない fact11: もし仮に「何かは排尿障害だ」ということは事実であるならば二セットでない fact12: もしもなにがしかの物は活用し易いとしたら「あの友達同士は連結リストであるし二セットだ」ということは間違っている fact13: 仮にあるものが有料老人ホームだということはないとすると下がり始めない ; $hypothesis$ = あの友達同士は二セットだ ; $proof$ = 
fact6 & fact9 -> int1: あの友達同士は排尿障害であるかもしくは連結リストだ; fact5 -> int2: もし仮にあの友達同士は排尿障害であるか連結リストであるかあるいはどちらもならば二セットでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「あの友達同士は連結リストで二セットである」ということは成り立たないならばその対立形質は連結リストでない
事実2: もしも「あの再生実務は喜び勇むということはないけれど所得保障である」ということは嘘であるとしたらそれは有料老人ホームだということはない
事実3: 仮になにかは日本食料品であるとすると女らしくない
事実4: 全ては有料老人ホームだ
事実5: もし仮にあるものが排尿障害であるかまたは連結リストであるかどちらもなら二セットであるということはない
事実6: あの友達同士は活用し易くないとすると排尿障害であるかもしくは連結リストであるかあるいは両方である
事実7: もしあの友達同士が預け合わないならそれは難しいかまたは活用し易いか両方である
事実8: 仮になんらかのものは有料老人ホームであるがしかし下がり始めるということはないとするとそれはシェークするということはない
事実9: あの友達同士は活用し易くない
事実10: 「すべては下がり始めない」ということは誤っていない
事実11: もし仮に「何かは排尿障害だ」ということは事実であるならば二セットでない
事実12: もしもなにがしかの物は活用し易いとしたら「あの友達同士は連結リストであるし二セットだ」ということは間違っている
事実13: 仮にあるものが有料老人ホームだということはないとすると下がり始めない

仮説: あの友達同士は二セットだ
1. 事実6と事実9から、推論1: "あの友達同士は排尿障害であるかもしくは連結リストだ"が導かれる
2. 事実5から、推論2: "もし仮にあの友達同士は排尿障害であるか連結リストであるかあるいはどちらもならば二セットでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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