この先頭艦は数値化出来ない
fact1: あの魔力物質は数値化出来ない fact2: この先頭艦は取り消し権でない fact3: 「この先頭艦は入院出来るということはない」ということは正しい fact4: もしもとあるものは作り難いということはないとしたら「数値化出来るしかつ吹き上がらない」ということは誤っている fact5: 仮に「あるものは与えるし掲ぐ」ということは偽であるなら与えない fact6: この裂傷は数値化出来ない fact7: この先頭艦はプローストでない fact8: 「あの慢性機械的圧迫は数値化出来ない」ということは確かだ fact9: もしも「この肩紐は作り難い」ということは成り立つとするとこの先頭艦は数値化出来る fact10: 「この先頭艦は数値化出来るけどそれは吹き上がらない」ということは成り立たないならばこの何時も乍らは数値化出来るということはない fact11: この法人格はリユースでないなら「あの即応はアスパルテームでないけど掲ぐ」ということは真実でない fact12: この先頭艦は飛行機らしくない fact13: この空気抵抗は数値化出来ない fact14: もしもその悪し様が与えないならばこの肩紐は吹き上がるしそれに作り難い fact15: この先頭艦は数値化出来ない
fact15 -> hypothesis;
fact15 -> hypothesis;
この何時も乍らは数値化出来ない
fact16 -> int1: もし仮にこの先頭艦は作り難いということはないとすると「それは数値化出来るしかつ吹き上がらない」ということは誤りである; fact17 -> int2: もし仮に「この肩紐は与えるしさらに掲ぐ」ということは誤りだとすると与えない;
$facts$ = fact1: あの魔力物質は数値化出来ない fact2: この先頭艦は取り消し権でない fact3: 「この先頭艦は入院出来るということはない」ということは正しい fact4: もしもとあるものは作り難いということはないとしたら「数値化出来るしかつ吹き上がらない」ということは誤っている fact5: 仮に「あるものは与えるし掲ぐ」ということは偽であるなら与えない fact6: この裂傷は数値化出来ない fact7: この先頭艦はプローストでない fact8: 「あの慢性機械的圧迫は数値化出来ない」ということは確かだ fact9: もしも「この肩紐は作り難い」ということは成り立つとするとこの先頭艦は数値化出来る fact10: 「この先頭艦は数値化出来るけどそれは吹き上がらない」ということは成り立たないならばこの何時も乍らは数値化出来るということはない fact11: この法人格はリユースでないなら「あの即応はアスパルテームでないけど掲ぐ」ということは真実でない fact12: この先頭艦は飛行機らしくない fact13: この空気抵抗は数値化出来ない fact14: もしもその悪し様が与えないならばこの肩紐は吹き上がるしそれに作り難い fact15: この先頭艦は数値化出来ない ; $hypothesis$ = この先頭艦は数値化出来ない ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: あの魔力物質は数値化出来ない
事実2: この先頭艦は取り消し権でない
事実3: 「この先頭艦は入院出来るということはない」ということは正しい
事実4: もしもとあるものは作り難いということはないとしたら「数値化出来るしかつ吹き上がらない」ということは誤っている
事実5: 仮に「あるものは与えるし掲ぐ」ということは偽であるなら与えない
事実6: この裂傷は数値化出来ない
事実7: この先頭艦はプローストでない
事実8: 「あの慢性機械的圧迫は数値化出来ない」ということは確かだ
事実9: もしも「この肩紐は作り難い」ということは成り立つとするとこの先頭艦は数値化出来る
事実10: 「この先頭艦は数値化出来るけどそれは吹き上がらない」ということは成り立たないならばこの何時も乍らは数値化出来るということはない
事実11: この法人格はリユースでないなら「あの即応はアスパルテームでないけど掲ぐ」ということは真実でない
事実12: この先頭艦は飛行機らしくない
事実13: この空気抵抗は数値化出来ない
事実14: もしもその悪し様が与えないならばこの肩紐は吹き上がるしそれに作り難い
事実15: この先頭艦は数値化出来ない

仮説: この先頭艦は数値化出来ない
1. 事実15から、仮説が導かれる

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