「この動体検知機能は実物であるししかもせっかち過ぎる」ということは確かでない
fact1: 「「違い過ぎないけど勿体無い」ということは偽な」ものはある fact2: もし仮になんらかのものが玉藻であるかまたはそれが清算しないならそれはせっかち過ぎない fact3: もしもあの資材調達が説明し易くないならばその神殿は玉藻であるか清算しないかもしくは両方である fact4: あの資材調達は説明し易くない fact5: この動体検知機能は違い過ぎるしそれに口臭であるなら「それは厳つかない」ということは正しい fact6: 説明し易くないものは玉藻であるかまたは哀れっぽくない fact7: 仮にその神殿はせっかち過ぎないとしたら「「この動体検知機能は実物でそれはせっかち過ぎる」ということは成り立たない」ということは正しい fact8: 仮に実物がせっかち過ぎないとすればそれは説明し易くない fact9: もしもその神殿が清算しないならばせっかち過ぎない
fact2 -> int1: 仮にその神殿が玉藻であるかまたはそれが清算するということはないならばそれはせっかち過ぎない; fact3 & fact4 -> int2: その神殿は玉藻であるかまたはそれは清算しないかもしくは両方である; int1 & int2 -> int3: その神殿はせっかち過ぎない; int3 & fact7 -> hypothesis;
あの液晶ディスプレイは玉藻であるかあるいはそれは哀れっぽくないかどちらもである
fact10 -> int4: 仮にあの液晶ディスプレイは説明し易くないならばそれは玉藻であるかまたは哀れっぽくないか両方ともだ; fact11 -> int5: あの液晶ディスプレイは実物であるけどせっかち過ぎないとすると「説明し易くない」ということは確かだ;
$facts$ = fact1: 「「違い過ぎないけど勿体無い」ということは偽な」ものはある fact2: もし仮になんらかのものが玉藻であるかまたはそれが清算しないならそれはせっかち過ぎない fact3: もしもあの資材調達が説明し易くないならばその神殿は玉藻であるか清算しないかもしくは両方である fact4: あの資材調達は説明し易くない fact5: この動体検知機能は違い過ぎるしそれに口臭であるなら「それは厳つかない」ということは正しい fact6: 説明し易くないものは玉藻であるかまたは哀れっぽくない fact7: 仮にその神殿はせっかち過ぎないとしたら「「この動体検知機能は実物でそれはせっかち過ぎる」ということは成り立たない」ということは正しい fact8: 仮に実物がせっかち過ぎないとすればそれは説明し易くない fact9: もしもその神殿が清算しないならばせっかち過ぎない ; $hypothesis$ = 「この動体検知機能は実物であるししかもせっかち過ぎる」ということは確かでない ; $proof$ = 
fact2 -> int1: 仮にその神殿が玉藻であるかまたはそれが清算するということはないならばそれはせっかち過ぎない; fact3 & fact4 -> int2: その神殿は玉藻であるかまたはそれは清算しないかもしくは両方である; int1 & int2 -> int3: その神殿はせっかち過ぎない; int3 & fact7 -> hypothesis; __PROVED__
事実1: 「「違い過ぎないけど勿体無い」ということは偽な」ものはある
事実2: もし仮になんらかのものが玉藻であるかまたはそれが清算しないならそれはせっかち過ぎない
事実3: もしもあの資材調達が説明し易くないならばその神殿は玉藻であるか清算しないかもしくは両方である
事実4: あの資材調達は説明し易くない
事実5: この動体検知機能は違い過ぎるしそれに口臭であるなら「それは厳つかない」ということは正しい
事実6: 説明し易くないものは玉藻であるかまたは哀れっぽくない
事実7: 仮にその神殿はせっかち過ぎないとしたら「「この動体検知機能は実物でそれはせっかち過ぎる」ということは成り立たない」ということは正しい
事実8: 仮に実物がせっかち過ぎないとすればそれは説明し易くない
事実9: もしもその神殿が清算しないならばせっかち過ぎない

仮説: 「この動体検知機能は実物であるししかもせっかち過ぎる」ということは確かでない
1. 事実2から、推論1: "仮にその神殿が玉藻であるかまたはそれが清算するということはないならばそれはせっかち過ぎない"が導かれる
2. 事実3と事実4から、推論2: "その神殿は玉藻であるかまたはそれは清算しないかもしくは両方である"が導かれる
3. 推論1と推論2から、推論3: "その神殿はせっかち過ぎない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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