「あのアルカリ金属イオンは見辛くて停車地である」ということは偽だ
fact1: もし仮になんらかのものはデータ系列でないとしたら「歯痒いけれど分娩しない」ということは成り立たない fact2: その教員養成所は歯痒くないしその上分娩するということはない fact3: もし仮に「その大型艦は歯痒いけれど分娩しない」ということは偽ならばこのカードローンは停車地でない fact4: あのアルカリ金属イオンは落ち易くない fact5: もし仮に「あのアルカリ金属イオンは落ち易くない」ということは成り立つとすれば見辛くて加えてデータ系列だ fact6: もしも「その大型艦はひ弱くないけれどそれはデータ系列である」ということは嘘だとすればデータ系列でない fact7: もしも何らかの物が歯痒くないし分娩するということはないならあのアルカリ金属イオンは停車地である fact8: この日野ＫＣ‐ＨＴは撃破出来るし落ち易い
fact2 -> int1: 「歯痒くないしそれに分娩しない」物はある; int1 & fact7 -> int2: あのアルカリ金属イオンは停車地である; fact4 & fact5 -> int3: あのアルカリ金属イオンは見辛いししかもデータ系列だ; int3 -> int4: あのアルカリ金属イオンは見辛い; int2 & int4 -> hypothesis;
fact2 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact7 -> int2: {C}{a}; fact4 & fact5 -> int3: ({D}{a} & {E}{a}); int3 -> int4: {D}{a}; int2 & int4 -> hypothesis;
「あのアルカリ金属イオンは見辛いし停車地だ」ということは間違っている
fact11 -> int5: 仮にその大型艦はデータ系列でないとすると「それは歯痒いし加えて分娩しない」ということは成り立たない;
$facts$ = fact1: もし仮になんらかのものはデータ系列でないとしたら「歯痒いけれど分娩しない」ということは成り立たない fact2: その教員養成所は歯痒くないしその上分娩するということはない fact3: もし仮に「その大型艦は歯痒いけれど分娩しない」ということは偽ならばこのカードローンは停車地でない fact4: あのアルカリ金属イオンは落ち易くない fact5: もし仮に「あのアルカリ金属イオンは落ち易くない」ということは成り立つとすれば見辛くて加えてデータ系列だ fact6: もしも「その大型艦はひ弱くないけれどそれはデータ系列である」ということは嘘だとすればデータ系列でない fact7: もしも何らかの物が歯痒くないし分娩するということはないならあのアルカリ金属イオンは停車地である fact8: この日野ＫＣ‐ＨＴは撃破出来るし落ち易い ; $hypothesis$ = 「あのアルカリ金属イオンは見辛くて停車地である」ということは偽だ ; $proof$ = 
fact2 -> int1: 「歯痒くないしそれに分娩しない」物はある; int1 & fact7 -> int2: あのアルカリ金属イオンは停車地である; fact4 & fact5 -> int3: あのアルカリ金属イオンは見辛いししかもデータ系列だ; int3 -> int4: あのアルカリ金属イオンは見辛い; int2 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものはデータ系列でないとしたら「歯痒いけれど分娩しない」ということは成り立たない
事実2: その教員養成所は歯痒くないしその上分娩するということはない
事実3: もし仮に「その大型艦は歯痒いけれど分娩しない」ということは偽ならばこのカードローンは停車地でない
事実4: あのアルカリ金属イオンは落ち易くない
事実5: もし仮に「あのアルカリ金属イオンは落ち易くない」ということは成り立つとすれば見辛くて加えてデータ系列だ
事実6: もしも「その大型艦はひ弱くないけれどそれはデータ系列である」ということは嘘だとすればデータ系列でない
事実7: もしも何らかの物が歯痒くないし分娩するということはないならあのアルカリ金属イオンは停車地である
事実8: この日野ＫＣ‐ＨＴは撃破出来るし落ち易い

仮説: 「あのアルカリ金属イオンは見辛くて停車地である」ということは偽だ
1. 事実2から、推論1: "「歯痒くないしそれに分娩しない」物はある"が導かれる
2. 推論1と事実7から、推論2: "あのアルカリ金属イオンは停車地である"が導かれる
3. 事実4と事実5から、推論3: "あのアルカリ金属イオンは見辛いししかもデータ系列だ"が導かれる
4. 推論3から、推論4: "あのアルカリ金属イオンは見辛い"が導かれる
5. 推論2と推論4から、仮説が否定される

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