「その服飾は犯し易い一方で空しかない」ということは真実でない
fact1: もし仮に何らかのものは式ファンでないならば「「得易いということはないけど手厳しい」ということは成り立つ」ということは偽だ fact2: もしも「この見張り員は得易くないけれど手厳しい」ということは偽ならばあの大学病院等は児戯でない fact3: もしも「あの大学病院等は犯し易い」ということは本当だとすると「その服飾は犯し易くて空しい」ということは嘘だ fact4: もし仮にあの大学病院等は犯し易いならば「その服飾は犯し易い一方で空しかない」ということは誤りである fact5: 「あの下中央は薄ら寒い」ということは成り立つ fact6: 「仮にその物理過程が破顔するとするとあの大学病院等は犯し易い」ということは確かだ fact7: 「その物理過程は造営する」ということは正しい fact8: もしその物理過程が間違わないとするとその服飾は造営するし破顔する fact9: もし「ある物は造営する」ということは成り立つとしたら「犯し易いしかつ空しかない」ということは正しい fact10: もし何かは前頭部でないならば「それは式ファンだ」ということは間違いだ fact11: もし仮に「その物理過程は造営する」ということは真実だとすれば破顔する fact12: もしも「ある物は原文通りだし更に児戯である」ということは誤りだとすればそれは間違わない fact13: 「あのケータリングは造営する」ということは正しい fact14: もしその物理過程は造営するとすると「あの大学病院等は造営するけれどそれは犯し易くない」ということは間違っている fact15: もしあの下中央が薄ら寒いならこの見張り員は書き溜めないしさらに前頭部でない fact16: 「その服飾は犯し易いし更にそれは空しい」ということは事実と異なる
fact11 & fact7 -> int1: その物理過程は破顔する; int1 & fact6 -> int2: あの大学病院等は犯し易い; int2 & fact4 -> hypothesis;
fact11 & fact7 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
その服飾は犯し易いがしかしそれは空しかない
fact21 -> int3: もし仮にその服飾が造営するとしたらそれは犯し易いがしかし空しかない; fact19 -> int4: もしも「「その物理過程は原文通りであるしそれに児戯である」ということは本当である」ということは間違いであるとするとそれは間違わない; fact22 -> int5: もしもこの見張り員は式ファンでないなら「それは得易くなくてその上手厳しい」ということは確かであるということはない; fact20 -> int6: もし「この見張り員は前頭部だということはない」ということは成り立てばそれは式ファンであるということはない; fact23 & fact18 -> int7: この見張り員は書き溜めなくて加えてそれは前頭部でない; int7 -> int8: この見張り員は前頭部でない; int6 & int8 -> int9: この見張り員は式ファンでない; int5 & int9 -> int10: 「「「この見張り員は得易いということはないけれど手厳しい」ということは成り立つ」ということは誤りである」ということは成り立つ; fact24 & int10 -> int11: あの大学病院等は児戯でない; int11 -> int12: 「児戯でない」物はある;
$facts$ = fact1: もし仮に何らかのものは式ファンでないならば「「得易いということはないけど手厳しい」ということは成り立つ」ということは偽だ fact2: もしも「この見張り員は得易くないけれど手厳しい」ということは偽ならばあの大学病院等は児戯でない fact3: もしも「あの大学病院等は犯し易い」ということは本当だとすると「その服飾は犯し易くて空しい」ということは嘘だ fact4: もし仮にあの大学病院等は犯し易いならば「その服飾は犯し易い一方で空しかない」ということは誤りである fact5: 「あの下中央は薄ら寒い」ということは成り立つ fact6: 「仮にその物理過程が破顔するとするとあの大学病院等は犯し易い」ということは確かだ fact7: 「その物理過程は造営する」ということは正しい fact8: もしその物理過程が間違わないとするとその服飾は造営するし破顔する fact9: もし「ある物は造営する」ということは成り立つとしたら「犯し易いしかつ空しかない」ということは正しい fact10: もし何かは前頭部でないならば「それは式ファンだ」ということは間違いだ fact11: もし仮に「その物理過程は造営する」ということは真実だとすれば破顔する fact12: もしも「ある物は原文通りだし更に児戯である」ということは誤りだとすればそれは間違わない fact13: 「あのケータリングは造営する」ということは正しい fact14: もしその物理過程は造営するとすると「あの大学病院等は造営するけれどそれは犯し易くない」ということは間違っている fact15: もしあの下中央が薄ら寒いならこの見張り員は書き溜めないしさらに前頭部でない fact16: 「その服飾は犯し易いし更にそれは空しい」ということは事実と異なる ; $hypothesis$ = 「その服飾は犯し易い一方で空しかない」ということは真実でない ; $proof$ = 
fact11 & fact7 -> int1: その物理過程は破顔する; int1 & fact6 -> int2: あの大学病院等は犯し易い; int2 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものは式ファンでないならば「「得易いということはないけど手厳しい」ということは成り立つ」ということは偽だ
事実2: もしも「この見張り員は得易くないけれど手厳しい」ということは偽ならばあの大学病院等は児戯でない
事実3: もしも「あの大学病院等は犯し易い」ということは本当だとすると「その服飾は犯し易くて空しい」ということは嘘だ
事実4: もし仮にあの大学病院等は犯し易いならば「その服飾は犯し易い一方で空しかない」ということは誤りである
事実5: 「あの下中央は薄ら寒い」ということは成り立つ
事実6: 「仮にその物理過程が破顔するとするとあの大学病院等は犯し易い」ということは確かだ
事実7: 「その物理過程は造営する」ということは正しい
事実8: もしその物理過程が間違わないとするとその服飾は造営するし破顔する
事実9: もし「ある物は造営する」ということは成り立つとしたら「犯し易いしかつ空しかない」ということは正しい
事実10: もし何かは前頭部でないならば「それは式ファンだ」ということは間違いだ
事実11: もし仮に「その物理過程は造営する」ということは真実だとすれば破顔する
事実12: もしも「ある物は原文通りだし更に児戯である」ということは誤りだとすればそれは間違わない
事実13: 「あのケータリングは造営する」ということは正しい
事実14: もしその物理過程は造営するとすると「あの大学病院等は造営するけれどそれは犯し易くない」ということは間違っている
事実15: もしあの下中央が薄ら寒いならこの見張り員は書き溜めないしさらに前頭部でない
事実16: 「その服飾は犯し易いし更にそれは空しい」ということは事実と異なる

仮説: 「その服飾は犯し易い一方で空しかない」ということは真実でない
1. 事実11と事実7から、推論1: "その物理過程は破顔する"が導かれる
2. 推論1と事実6から、推論2: "あの大学病院等は犯し易い"が導かれる
3. 推論2と事実4から、仮説が導かれる

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