この悲観論は溺愛しないかもしくは書く
fact1: この悲観論は養えない fact2: この悲観論は書かない fact3: その集合は溺愛する fact4: 仮にこの悲観論が養えるならその各衛星は養えない fact5: 仮にこの悲観論は養えないなら「溺愛しないかあるいは書くかまたは両方ともである」ということは誤りである fact6: もしもこの悲観論が養えないとしたらそれは書かない fact7: もしもなんらかの物は養えないとしたら「それは導き得ないかもしくは善処するかもしくは両方ともである」ということは成り立たない fact8: もし仮になにがしかの物は養えるか汚れ易くないかあるいは両方ともであるとすると「それは養える」ということは成り立つ fact9: この組織固有は養えない
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
この悲観論は溺愛しないかそれは書くか両方だ
fact10 -> int1: もしもその教育目的が養えるかもしくは汚れ易くないかもしくはどちらもであるとしたら「それは養える」ということは事実だ;
$facts$ = fact1: この悲観論は養えない fact2: この悲観論は書かない fact3: その集合は溺愛する fact4: 仮にこの悲観論が養えるならその各衛星は養えない fact5: 仮にこの悲観論は養えないなら「溺愛しないかあるいは書くかまたは両方ともである」ということは誤りである fact6: もしもこの悲観論が養えないとしたらそれは書かない fact7: もしもなんらかの物は養えないとしたら「それは導き得ないかもしくは善処するかもしくは両方ともである」ということは成り立たない fact8: もし仮になにがしかの物は養えるか汚れ易くないかあるいは両方ともであるとすると「それは養える」ということは成り立つ fact9: この組織固有は養えない ; $hypothesis$ = この悲観論は溺愛しないかもしくは書く ; $proof$ = 
fact5 & fact1 -> hypothesis; __DISPROVED__
事実1: この悲観論は養えない
事実2: この悲観論は書かない
事実3: その集合は溺愛する
事実4: 仮にこの悲観論が養えるならその各衛星は養えない
事実5: 仮にこの悲観論は養えないなら「溺愛しないかあるいは書くかまたは両方ともである」ということは誤りである
事実6: もしもこの悲観論が養えないとしたらそれは書かない
事実7: もしもなんらかの物は養えないとしたら「それは導き得ないかもしくは善処するかもしくは両方ともである」ということは成り立たない
事実8: もし仮になにがしかの物は養えるか汚れ易くないかあるいは両方ともであるとすると「それは養える」ということは成り立つ
事実9: この組織固有は養えない

仮説: この悲観論は溺愛しないかもしくは書く
1. 事実5と事実1から、仮説が否定される

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