その前掲書は文句であるかあるいは所蔵する
fact1: もしその前掲書が炯眼でないしそれがアッピールするということはないならあの何事は文句でない fact2: あの何事が計測出来るということはなくておまけに革新しないならばその前掲書は文句である fact3: もしも「所蔵するか文句でないかもしくは両方ともな」ものがあるならあの子供達同士は所蔵する fact4: めんど臭いものは炯眼でなくて更にアッピールするということはない fact5: 「その前掲書はパーソナルコンピュータであるけど浅くない」ということは真実だ fact6: 浅いということはないものはめんど臭くて更に実技だ fact7: あの何事はアッピールしない fact8: あの何事がアッピールするということはないとすれば計測出来なくておまけに革新しない
fact8 & fact7 -> int1: あの何事は計測出来ないしかつ革新しない; int1 & fact2 -> int2: その前掲書は文句である; int2 -> hypothesis;
あの子供達同士は所蔵する
fact13 -> int3: その前掲書がめんど臭いなら炯眼でなくてしかもそれはアッピールしない; fact11 -> int4: その前掲書が浅くないとするとめんど臭くて加えて実技だ; fact12 -> int5: その前掲書は浅くない; int4 & int5 -> int6: その前掲書はめんど臭くて更に実技だ; int6 -> int7: その前掲書はめんど臭い; int3 & int7 -> int8: その前掲書は炯眼であるということはなくてかつアッピールしない; fact10 & int8 -> int9: あの何事は文句であるということはない; int9 -> int10: あの何事は所蔵するかまたは文句であるということはないかもしくは両方ともだ; int10 -> int11: とある物は所蔵するかあるいは文句でない; int11 & fact9 -> hypothesis;
$facts$ = fact1: もしその前掲書が炯眼でないしそれがアッピールするということはないならあの何事は文句でない fact2: あの何事が計測出来るということはなくておまけに革新しないならばその前掲書は文句である fact3: もしも「所蔵するか文句でないかもしくは両方ともな」ものがあるならあの子供達同士は所蔵する fact4: めんど臭いものは炯眼でなくて更にアッピールするということはない fact5: 「その前掲書はパーソナルコンピュータであるけど浅くない」ということは真実だ fact6: 浅いということはないものはめんど臭くて更に実技だ fact7: あの何事はアッピールしない fact8: あの何事がアッピールするということはないとすれば計測出来なくておまけに革新しない ; $hypothesis$ = その前掲書は文句であるかあるいは所蔵する ; $proof$ = 
fact8 & fact7 -> int1: あの何事は計測出来ないしかつ革新しない; int1 & fact2 -> int2: その前掲書は文句である; int2 -> hypothesis; __PROVED__
事実1: もしその前掲書が炯眼でないしそれがアッピールするということはないならあの何事は文句でない
事実2: あの何事が計測出来るということはなくておまけに革新しないならばその前掲書は文句である
事実3: もしも「所蔵するか文句でないかもしくは両方ともな」ものがあるならあの子供達同士は所蔵する
事実4: めんど臭いものは炯眼でなくて更にアッピールするということはない
事実5: 「その前掲書はパーソナルコンピュータであるけど浅くない」ということは真実だ
事実6: 浅いということはないものはめんど臭くて更に実技だ
事実7: あの何事はアッピールしない
事実8: あの何事がアッピールするということはないとすれば計測出来なくておまけに革新しない

仮説: その前掲書は文句であるかあるいは所蔵する
1. 事実8と事実7から、推論1: "あの何事は計測出来ないしかつ革新しない"が導かれる
2. 推論1と事実2から、推論2: "その前掲書は文句である"が導かれる
3. 推論2から、仮説が導かれる

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