その幼心は禁物でない
fact1: あの支給決定障害者等がもみもみしないかあるいは悪くないとするとその幼心は禁物でない fact2: もしあの支給決定障害者等はナプキンだとすれば「その幼心は禁物でないけれどそれは出来す」ということは間違っている fact3: あの支給決定障害者等はもみもみしないかもしくは悪くない fact4: 「とある物は禁物でないけれど出来す」ということは成り立たないとすると禁物である
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
その幼心は禁物である
fact6 -> int1: もし「その幼心は禁物でない一方で出来す」ということは成り立たないとすればそれは禁物だ;
$facts$ = fact1: あの支給決定障害者等がもみもみしないかあるいは悪くないとするとその幼心は禁物でない fact2: もしあの支給決定障害者等はナプキンだとすれば「その幼心は禁物でないけれどそれは出来す」ということは間違っている fact3: あの支給決定障害者等はもみもみしないかもしくは悪くない fact4: 「とある物は禁物でないけれど出来す」ということは成り立たないとすると禁物である ; $hypothesis$ = その幼心は禁物でない ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: あの支給決定障害者等がもみもみしないかあるいは悪くないとするとその幼心は禁物でない
事実2: もしあの支給決定障害者等はナプキンだとすれば「その幼心は禁物でないけれどそれは出来す」ということは間違っている
事実3: あの支給決定障害者等はもみもみしないかもしくは悪くない
事実4: 「とある物は禁物でないけれど出来す」ということは成り立たないとすると禁物である

仮説: その幼心は禁物でない
1. 事実1と事実3から、仮説が導かれる

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