この最強は引っ繰り返らないし見なさない
fact1: 仮に「なんらかの物は自活しないかあるいは当該患者だということはないかまたは両方ともだ」ということは成り立たないとすればそれは見なせるということはない fact2: あの真核細胞は単純過ぎない fact3: この半分程度は単純過ぎない fact4: もしもなにがしかのものが補装具費なら見なせる fact5: 仮に「あの真核細胞は見なさない」ということは確かであるとするとこの最強が引っ繰り返らないしさらに見なせるということはない fact6: 何らかのものが自活しないかあるいはそれは当該患者でないかあるいは両方ならば補装具費だ fact7: もしもあの真核細胞が単純過ぎないならばそれは遣り辛くないし第三号意見でない fact8: 仮にあの真核細胞は遣り辛くないししかも第三号意見でないならそれは補装具費でない
fact6 -> int1: もしもあの真核細胞が自活しないかあるいは当該患者であるということはないかまたは両方ともだとしたら補装具費だ; void -> assump1: 以下のように仮定する。あの真核細胞は自活しないか当該患者でない; int1 & assump1 -> int2: あの真核細胞は補装具費だ; fact2 & fact7 -> int3: あの真核細胞は遣り辛いということはなくて更に第三号意見でない; fact8 & int3 -> int4: あの真核細胞は補装具費でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの真核細胞は自活しないかあるいはそれは当該患者でないかあるいはどちらもだ」ということは成り立たない; fact1 -> int7: 「あの真核細胞は自活しないかもしくは当該患者でないかもしくはどちらもだ」ということは誤りならば見なさない; int6 & int7 -> int8: あの真核細胞は見なさない; int8 & fact5 -> hypothesis;
「「そのライバルは見分け難くないかあるいは納棺しないかどちらもである」ということは嘘だ」ということは成り立つ
fact9 -> int9: もし仮にこの最強は補装具費であるとすれば見なせる;
$facts$ = fact1: 仮に「なんらかの物は自活しないかあるいは当該患者だということはないかまたは両方ともだ」ということは成り立たないとすればそれは見なせるということはない fact2: あの真核細胞は単純過ぎない fact3: この半分程度は単純過ぎない fact4: もしもなにがしかのものが補装具費なら見なせる fact5: 仮に「あの真核細胞は見なさない」ということは確かであるとするとこの最強が引っ繰り返らないしさらに見なせるということはない fact6: 何らかのものが自活しないかあるいはそれは当該患者でないかあるいは両方ならば補装具費だ fact7: もしもあの真核細胞が単純過ぎないならばそれは遣り辛くないし第三号意見でない fact8: 仮にあの真核細胞は遣り辛くないししかも第三号意見でないならそれは補装具費でない ; $hypothesis$ = この最強は引っ繰り返らないし見なさない ; $proof$ = 
fact6 -> int1: もしもあの真核細胞が自活しないかあるいは当該患者であるということはないかまたは両方ともだとしたら補装具費だ; void -> assump1: 以下のように仮定する。あの真核細胞は自活しないか当該患者でない; int1 & assump1 -> int2: あの真核細胞は補装具費だ; fact2 & fact7 -> int3: あの真核細胞は遣り辛いということはなくて更に第三号意見でない; fact8 & int3 -> int4: あの真核細胞は補装具費でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの真核細胞は自活しないかあるいはそれは当該患者でないかあるいはどちらもだ」ということは成り立たない; fact1 -> int7: 「あの真核細胞は自活しないかもしくは当該患者でないかもしくはどちらもだ」ということは誤りならば見なさない; int6 & int7 -> int8: あの真核細胞は見なさない; int8 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「なんらかの物は自活しないかあるいは当該患者だということはないかまたは両方ともだ」ということは成り立たないとすればそれは見なせるということはない
事実2: あの真核細胞は単純過ぎない
事実3: この半分程度は単純過ぎない
事実4: もしもなにがしかのものが補装具費なら見なせる
事実5: 仮に「あの真核細胞は見なさない」ということは確かであるとするとこの最強が引っ繰り返らないしさらに見なせるということはない
事実6: 何らかのものが自活しないかあるいはそれは当該患者でないかあるいは両方ならば補装具費だ
事実7: もしもあの真核細胞が単純過ぎないならばそれは遣り辛くないし第三号意見でない
事実8: 仮にあの真核細胞は遣り辛くないししかも第三号意見でないならそれは補装具費でない

仮説: この最強は引っ繰り返らないし見なさない
1. 事実6から、推論1: "もしもあの真核細胞が自活しないかあるいは当該患者であるということはないかまたは両方ともだとしたら補装具費だ"が導かれる
2. 仮定1: 以下のように仮定する。あの真核細胞は自活しないか当該患者でない
3. 推論1と仮定1から、推論2: "あの真核細胞は補装具費だ"が導かれる
4. 事実2と事実7から、推論3: "あの真核細胞は遣り辛いということはなくて更に第三号意見でない"が導かれる
5. 事実8と推論3から、推論4: "あの真核細胞は補装具費でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの真核細胞は自活しないかあるいはそれは当該患者でないかあるいはどちらもだ」ということは成り立たない"が導かれる
8. 事実1から、推論7: "「あの真核細胞は自活しないかもしくは当該患者でないかもしくはどちらもだ」ということは誤りならば見なさない"が導かれる
9. 推論6と推論7から、推論8: "あの真核細胞は見なさない"が導かれる
10. 推論8と事実5から、仮説が導かれる

よって、仮説が証明されました。