その列毎は最適条件でなくて更にとろくない
fact1: もしその書き込み中は最適条件だとすると「その列毎は最適条件であるということはないしかつとろいということはない」ということは事実だ fact2: その書き込み中は我慢出来るなら「その列毎は我慢出来る」ということは真実である fact3: もし何らかのものは燃え柴であるならば「最適条件でないしそれにとろいということはない」ということは誤りである fact4: なにかは我慢出来るなら「燃え柴であるしそれにニーチェ自身でない」ということは事実だ fact5: その書き込み中は最適条件で燃え柴だ
fact5 -> int1: その書き込み中は最適条件である; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
「その列毎は最適条件でないしそれはとろくない」ということは成り立つということはない
fact8 -> int2: その列毎は燃え柴なら「最適条件でないし加えてとろくない」ということは事実と異なる; fact7 -> int3: 「もしもその列毎が我慢出来るとするとその列毎は燃え柴だけどニーチェ自身でない」ということは確かである;
$facts$ = fact1: もしその書き込み中は最適条件だとすると「その列毎は最適条件であるということはないしかつとろいということはない」ということは事実だ fact2: その書き込み中は我慢出来るなら「その列毎は我慢出来る」ということは真実である fact3: もし何らかのものは燃え柴であるならば「最適条件でないしそれにとろいということはない」ということは誤りである fact4: なにかは我慢出来るなら「燃え柴であるしそれにニーチェ自身でない」ということは事実だ fact5: その書き込み中は最適条件で燃え柴だ ; $hypothesis$ = その列毎は最適条件でなくて更にとろくない ; $proof$ = 
fact5 -> int1: その書き込み中は最適条件である; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしその書き込み中は最適条件だとすると「その列毎は最適条件であるということはないしかつとろいということはない」ということは事実だ
事実2: その書き込み中は我慢出来るなら「その列毎は我慢出来る」ということは真実である
事実3: もし何らかのものは燃え柴であるならば「最適条件でないしそれにとろいということはない」ということは誤りである
事実4: なにかは我慢出来るなら「燃え柴であるしそれにニーチェ自身でない」ということは事実だ
事実5: その書き込み中は最適条件で燃え柴だ

仮説: その列毎は最適条件でなくて更にとろくない
1. 事実5から、推論1: "その書き込み中は最適条件である"が導かれる
2. 推論1と事実1から、仮説が導かれる

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