あのインターネット電話以外は一Ｆであるし御見捨てに成る
fact1: この失語症状は維持向上しない fact2: あのインターネット電話以外は一Ｆだ fact3: もし仮にあのインターネット電話以外は維持向上しないとしたら「それは覚束無くてまたそれは計測法だ」ということは嘘だ fact4: 仮に「とある物は一Ｆで更にセルフサービスだ」ということは誤りだとしたら維持向上するということはない fact5: もしあのインターネット電話以外はセルフサービスでないなら「それは一Ｆであるし更に御見捨てに成る」ということは誤っている fact6: あのインターネット電話以外は維持向上しない fact7: 「何らかの物は覚束無くておまけに計測法である」ということは成り立たないとしたら「セルフサービスでない」ということは真実である
fact3 & fact6 -> int1: 「あのインターネット電話以外は覚束無いしそれに計測法だ」ということは誤りだ; fact7 -> int2: もし「あのインターネット電話以外は覚束無いしかつ計測法だ」ということは間違っているとしたらセルフサービスでない; int1 & int2 -> int3: 「あのインターネット電話以外はセルフサービスであるということはない」ということは事実である; int3 & fact5 -> hypothesis;
fact3 & fact6 -> int1: ¬({AA}{a} & {AB}{a}); fact7 -> int2: ¬({AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact5 -> hypothesis;
あのインターネット電話以外は一Ｆだし加えて御見捨てに成る
$facts$ = fact1: この失語症状は維持向上しない fact2: あのインターネット電話以外は一Ｆだ fact3: もし仮にあのインターネット電話以外は維持向上しないとしたら「それは覚束無くてまたそれは計測法だ」ということは嘘だ fact4: 仮に「とある物は一Ｆで更にセルフサービスだ」ということは誤りだとしたら維持向上するということはない fact5: もしあのインターネット電話以外はセルフサービスでないなら「それは一Ｆであるし更に御見捨てに成る」ということは誤っている fact6: あのインターネット電話以外は維持向上しない fact7: 「何らかの物は覚束無くておまけに計測法である」ということは成り立たないとしたら「セルフサービスでない」ということは真実である ; $hypothesis$ = あのインターネット電話以外は一Ｆであるし御見捨てに成る ; $proof$ = 
fact3 & fact6 -> int1: 「あのインターネット電話以外は覚束無いしそれに計測法だ」ということは誤りだ; fact7 -> int2: もし「あのインターネット電話以外は覚束無いしかつ計測法だ」ということは間違っているとしたらセルフサービスでない; int1 & int2 -> int3: 「あのインターネット電話以外はセルフサービスであるということはない」ということは事実である; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: この失語症状は維持向上しない
事実2: あのインターネット電話以外は一Ｆだ
事実3: もし仮にあのインターネット電話以外は維持向上しないとしたら「それは覚束無くてまたそれは計測法だ」ということは嘘だ
事実4: 仮に「とある物は一Ｆで更にセルフサービスだ」ということは誤りだとしたら維持向上するということはない
事実5: もしあのインターネット電話以外はセルフサービスでないなら「それは一Ｆであるし更に御見捨てに成る」ということは誤っている
事実6: あのインターネット電話以外は維持向上しない
事実7: 「何らかの物は覚束無くておまけに計測法である」ということは成り立たないとしたら「セルフサービスでない」ということは真実である

仮説: あのインターネット電話以外は一Ｆであるし御見捨てに成る
1. 事実3と事実6から、推論1: "「あのインターネット電話以外は覚束無いしそれに計測法だ」ということは誤りだ"が導かれる
2. 事実7から、推論2: "もし「あのインターネット電話以外は覚束無いしかつ計測法だ」ということは間違っているとしたらセルフサービスでない"が導かれる
3. 推論1と推論2から、推論3: "「あのインターネット電話以外はセルフサービスであるということはない」ということは事実である"が導かれる
4. 推論3と事実5から、仮説が否定される

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