この組み込みはいがらっぽいし加えて作用点である
fact1: 「戦況でない」ものはある fact2: 「借り易い物は出し続けないけれど錆無い」ということは事実だ fact3: 晒され易いものはいがらっぽい fact4: 仮にそのウェブマスターはコンピタンシーでない一方で通じ易いとするとそれは重たいということはない fact5: 全ての物はおっきい fact6: もし何らかのものがおっきいならばコンピタンシーでなくてしかも通じ易い fact7: 「あのピックガードは始まるけど印相でない」ということは誤りだ fact8: 「戦況だということはない」ものがあるとすればあの組み込みは作用点だし更に出し続ける fact9: あの維持回復はいがらっぽい fact10: この組み込みが晒され易いならあのピックガードは戦況である fact11: もし仮にその大仏鐘銘が出し続けないがしかしそれが錆無いとすればこのレフェリーは出し続けない fact12: もし仮にこの組み込みが戦況だとすればあのピックガードは戦況である fact13: 仮に「「あのピックガードは始まるけれど印相でない」ということは間違いだ」ということは成り立つとするとこの組み込みは晒され易い fact14: そのウェブマスターが重たくないならその大仏鐘銘は借り易い
fact13 & fact7 -> int1: この組み込みは晒され易い; fact3 -> int2: もしこの組み込みが晒され易いならそれはいがらっぽい; int1 & int2 -> int3: この組み込みはいがらっぽい; fact8 & fact1 -> int4: この組み込みは作用点だしそれに出し続ける; int4 -> int5: この組み込みは作用点である; int3 & int5 -> hypothesis;
あのピックガードは戦況である
fact21 -> int6: もし仮に「その大仏鐘銘は借り易い」ということは誤りでないならばそれは出し続けないが錆無い; fact15 -> int7: このプロフィットセンターはおっきい; fact22 -> int8: もしこのプロフィットセンターがおっきいとするとコンピタンシーでないしその上通じ易い; int7 & int8 -> int9: このプロフィットセンターはコンピタンシーでないけれど通じ易い; int9 -> int10: 全ての物はコンピタンシーでないしそれは通じ易い; int10 -> int11: そのウェブマスターはコンピタンシーでないけどそれは通じ易い; fact16 & int11 -> int12: そのウェブマスターは重たいということはない; fact18 & int12 -> int13: その大仏鐘銘は借り易い; int6 & int13 -> int14: その大仏鐘銘は出し続けないけどそれは錆無い; fact19 & int14 -> int15: このレフェリーは出し続けない;
$facts$ = fact1: 「戦況でない」ものはある fact2: 「借り易い物は出し続けないけれど錆無い」ということは事実だ fact3: 晒され易いものはいがらっぽい fact4: 仮にそのウェブマスターはコンピタンシーでない一方で通じ易いとするとそれは重たいということはない fact5: 全ての物はおっきい fact6: もし何らかのものがおっきいならばコンピタンシーでなくてしかも通じ易い fact7: 「あのピックガードは始まるけど印相でない」ということは誤りだ fact8: 「戦況だということはない」ものがあるとすればあの組み込みは作用点だし更に出し続ける fact9: あの維持回復はいがらっぽい fact10: この組み込みが晒され易いならあのピックガードは戦況である fact11: もし仮にその大仏鐘銘が出し続けないがしかしそれが錆無いとすればこのレフェリーは出し続けない fact12: もし仮にこの組み込みが戦況だとすればあのピックガードは戦況である fact13: 仮に「「あのピックガードは始まるけれど印相でない」ということは間違いだ」ということは成り立つとするとこの組み込みは晒され易い fact14: そのウェブマスターが重たくないならその大仏鐘銘は借り易い ; $hypothesis$ = この組み込みはいがらっぽいし加えて作用点である ; $proof$ = 
fact13 & fact7 -> int1: この組み込みは晒され易い; fact3 -> int2: もしこの組み込みが晒され易いならそれはいがらっぽい; int1 & int2 -> int3: この組み込みはいがらっぽい; fact8 & fact1 -> int4: この組み込みは作用点だしそれに出し続ける; int4 -> int5: この組み込みは作用点である; int3 & int5 -> hypothesis; __PROVED__
事実1: 「戦況でない」ものはある
事実2: 「借り易い物は出し続けないけれど錆無い」ということは事実だ
事実3: 晒され易いものはいがらっぽい
事実4: 仮にそのウェブマスターはコンピタンシーでない一方で通じ易いとするとそれは重たいということはない
事実5: 全ての物はおっきい
事実6: もし何らかのものがおっきいならばコンピタンシーでなくてしかも通じ易い
事実7: 「あのピックガードは始まるけど印相でない」ということは誤りだ
事実8: 「戦況だということはない」ものがあるとすればあの組み込みは作用点だし更に出し続ける
事実9: あの維持回復はいがらっぽい
事実10: この組み込みが晒され易いならあのピックガードは戦況である
事実11: もし仮にその大仏鐘銘が出し続けないがしかしそれが錆無いとすればこのレフェリーは出し続けない
事実12: もし仮にこの組み込みが戦況だとすればあのピックガードは戦況である
事実13: 仮に「「あのピックガードは始まるけれど印相でない」ということは間違いだ」ということは成り立つとするとこの組み込みは晒され易い
事実14: そのウェブマスターが重たくないならその大仏鐘銘は借り易い

仮説: この組み込みはいがらっぽいし加えて作用点である
1. 事実13と事実7から、推論1: "この組み込みは晒され易い"が導かれる
2. 事実3から、推論2: "もしこの組み込みが晒され易いならそれはいがらっぽい"が導かれる
3. 推論1と推論2から、推論3: "この組み込みはいがらっぽい"が導かれる
4. 事実8と事実1から、推論4: "この組み込みは作用点だしそれに出し続ける"が導かれる
5. 推論4から、推論5: "この組み込みは作用点である"が導かれる
6. 推論3と推論5から、仮説が導かれる

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