「このティティは物凄まじいかまたはそれは申し添えるか両方である」ということは間違いだ
fact1: なにがしかのものは種子でない一方で白しなら物凄まじい fact2: もし仮に「あの合目的的変容は比するかまたは物凄まじくないかどちらもである」ということは確かでないとしたらこのティティは比するということはない fact3: もしもあの合目的的変容が比しないならこのティティは種子だということはないけど白し fact4: その針塚家は比するということはない fact5: あの合目的的変容は比するということはない
fact3 & fact5 -> int1: 「このティティは種子でないが白し」ということは誤りでない; fact1 -> int2: 仮にこのティティが種子でないがしかしそれが白しなら物凄まじい; int1 & int2 -> int3: このティティは物凄まじい; int3 -> hypothesis;
このティティは比しない
$facts$ = fact1: なにがしかのものは種子でない一方で白しなら物凄まじい fact2: もし仮に「あの合目的的変容は比するかまたは物凄まじくないかどちらもである」ということは確かでないとしたらこのティティは比するということはない fact3: もしもあの合目的的変容が比しないならこのティティは種子だということはないけど白し fact4: その針塚家は比するということはない fact5: あの合目的的変容は比するということはない ; $hypothesis$ = 「このティティは物凄まじいかまたはそれは申し添えるか両方である」ということは間違いだ ; $proof$ = 
fact3 & fact5 -> int1: 「このティティは種子でないが白し」ということは誤りでない; fact1 -> int2: 仮にこのティティが種子でないがしかしそれが白しなら物凄まじい; int1 & int2 -> int3: このティティは物凄まじい; int3 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは種子でない一方で白しなら物凄まじい
事実2: もし仮に「あの合目的的変容は比するかまたは物凄まじくないかどちらもである」ということは確かでないとしたらこのティティは比するということはない
事実3: もしもあの合目的的変容が比しないならこのティティは種子だということはないけど白し
事実4: その針塚家は比するということはない
事実5: あの合目的的変容は比するということはない

仮説: 「このティティは物凄まじいかまたはそれは申し添えるか両方である」ということは間違いだ
1. 事実3と事実5から、推論1: "「このティティは種子でないが白し」ということは誤りでない"が導かれる
2. 事実1から、推論2: "仮にこのティティが種子でないがしかしそれが白しなら物凄まじい"が導かれる
3. 推論1と推論2から、推論3: "このティティは物凄まじい"が導かれる
4. 推論3から、仮説が否定される

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