「その薬剤投与は収集出来る」ということは成り立つとするとこの色覚異常者は湿す
fact1: もしもそのＪアムはぽつであるけど眠くないならばそれは掻っ払う fact2: 「何かは掻っ払わないしかつそれは収集出来るということはない」ということは成り立つということはないとするとそれは掻っ払う fact3: もし仮にそのＪアムは湿すとすれば「その薬剤投与は掻っ払うということはないし収集出来ない」ということは偽だ fact4: 仮にその薬剤投与が収集出来るならそのＪアムはぽつでないしそれは眠くない fact5: もしなにがしかの物がレストアするとしたら湿す fact6: もし仮にそのＪアムは掻っ払えば「この色覚異常者は湿す」ということは本当である fact7: もし仮になにがしかの物がぽつでなくてそれが眠くないとすれば掻っ払う fact8: そのＪアムは収集出来ない
void -> assump1: 以下のように仮定する。「その薬剤投与は収集出来る」ということは嘘であるということはない; fact4 & assump1 -> int1: そのＪアムはぽつでないし眠くない; fact7 -> int2: そのＪアムはぽつでなくて眠くないとすれば掻っ払う; int1 & int2 -> int3: そのＪアムは掻っ払う; int3 & fact6 -> int4: 「この色覚異常者は湿す」ということは成り立つ; [assump1] & int4 -> hypothesis;
その薬剤投与は掻っ払う
fact10 -> int5: 仮に「その薬剤投与は掻っ払わなくてその上収集出来ない」ということは誤っているとしたら掻っ払う; fact11 -> int6: もしもそのＪアムがレストアするとしたら湿す;
$facts$ = fact1: もしもそのＪアムはぽつであるけど眠くないならばそれは掻っ払う fact2: 「何かは掻っ払わないしかつそれは収集出来るということはない」ということは成り立つということはないとするとそれは掻っ払う fact3: もし仮にそのＪアムは湿すとすれば「その薬剤投与は掻っ払うということはないし収集出来ない」ということは偽だ fact4: 仮にその薬剤投与が収集出来るならそのＪアムはぽつでないしそれは眠くない fact5: もしなにがしかの物がレストアするとしたら湿す fact6: もし仮にそのＪアムは掻っ払えば「この色覚異常者は湿す」ということは本当である fact7: もし仮になにがしかの物がぽつでなくてそれが眠くないとすれば掻っ払う fact8: そのＪアムは収集出来ない ; $hypothesis$ = 「その薬剤投与は収集出来る」ということは成り立つとするとこの色覚異常者は湿す ; $proof$ = 
void -> assump1: 以下のように仮定する。「その薬剤投与は収集出来る」ということは嘘であるということはない; fact4 & assump1 -> int1: そのＪアムはぽつでないし眠くない; fact7 -> int2: そのＪアムはぽつでなくて眠くないとすれば掻っ払う; int1 & int2 -> int3: そのＪアムは掻っ払う; int3 & fact6 -> int4: 「この色覚異常者は湿す」ということは成り立つ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしもそのＪアムはぽつであるけど眠くないならばそれは掻っ払う
事実2: 「何かは掻っ払わないしかつそれは収集出来るということはない」ということは成り立つということはないとするとそれは掻っ払う
事実3: もし仮にそのＪアムは湿すとすれば「その薬剤投与は掻っ払うということはないし収集出来ない」ということは偽だ
事実4: 仮にその薬剤投与が収集出来るならそのＪアムはぽつでないしそれは眠くない
事実5: もしなにがしかの物がレストアするとしたら湿す
事実6: もし仮にそのＪアムは掻っ払えば「この色覚異常者は湿す」ということは本当である
事実7: もし仮になにがしかの物がぽつでなくてそれが眠くないとすれば掻っ払う
事実8: そのＪアムは収集出来ない

仮説: 「その薬剤投与は収集出来る」ということは成り立つとするとこの色覚異常者は湿す
1. 仮定1: 以下のように仮定する。「その薬剤投与は収集出来る」ということは嘘であるということはない
2. 事実4と仮定1から、推論1: "そのＪアムはぽつでないし眠くない"が導かれる
3. 事実7から、推論2: "そのＪアムはぽつでなくて眠くないとすれば掻っ払う"が導かれる
4. 推論1と推論2から、推論3: "そのＪアムは掻っ払う"が導かれる
5. 推論3と事実6から、推論4: "「この色覚異常者は湿す」ということは成り立つ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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