このカルビニズムは疑り深い
fact1: あの癇癪は電路でないとしたら「「あの岩は熱苦しくてかつ電路だ」ということは間違っている」ということは本当である fact2: 「あの岩は電路であるがしかし拒み続けない」ということは嘘である fact3: もし仮に何らかのものは電路でない一方でアウトサイダーであるとするとそれはレベルでない fact4: あの岩はレベルでないなら「この花押は拒み続ける一方でレベルでない」ということは成り立たない fact5: もしあの癇癪が熱苦しくないとしたらあの岩はアウトサイダーだ fact6: もしも「あの癇癪は熱苦しくない」ということは本当であるとすればあの岩は電路でないけどそれはアウトサイダーだ fact7: あの癇癪は疑り深いということはない fact8: このカルビニズムが電路でないとするとあの岩は疑り深いということはないけれどレベルである fact9: 「この花押はアウトサイダーでない」ということは事実だ fact10: 仮に「「この花押は拒み続けるがしかしそれはレベルでない」ということは事実である」ということは偽だとすればこのカルビニズムは疑り深い fact11: 「この花押は拒み続けるしそれはレベルだ」ということは成り立たない fact12: あの癇癪は熱苦しくない fact13: もしこの花押がレベルでないとしたらこのカルビニズムは疑り深くない fact14: もし仮にあの岩はアウトサイダーであるということはないがしかし疑り深いとしたら「電路でない」ということは成り立つ
fact3 -> int1: もし仮にあの岩が電路でないけどアウトサイダーであるとしたらレベルでない; fact6 & fact12 -> int2: あの岩は電路でないがそれはアウトサイダーである; int1 & int2 -> int3: あの岩はレベルだということはない; int3 & fact4 -> int4: 「この花押は拒み続ける一方でそれはレベルでない」ということは真実であるということはない; int4 & fact10 -> hypothesis;
このカルビニズムは疑り深くない
$facts$ = fact1: あの癇癪は電路でないとしたら「「あの岩は熱苦しくてかつ電路だ」ということは間違っている」ということは本当である fact2: 「あの岩は電路であるがしかし拒み続けない」ということは嘘である fact3: もし仮に何らかのものは電路でない一方でアウトサイダーであるとするとそれはレベルでない fact4: あの岩はレベルでないなら「この花押は拒み続ける一方でレベルでない」ということは成り立たない fact5: もしあの癇癪が熱苦しくないとしたらあの岩はアウトサイダーだ fact6: もしも「あの癇癪は熱苦しくない」ということは本当であるとすればあの岩は電路でないけどそれはアウトサイダーだ fact7: あの癇癪は疑り深いということはない fact8: このカルビニズムが電路でないとするとあの岩は疑り深いということはないけれどレベルである fact9: 「この花押はアウトサイダーでない」ということは事実だ fact10: 仮に「「この花押は拒み続けるがしかしそれはレベルでない」ということは事実である」ということは偽だとすればこのカルビニズムは疑り深い fact11: 「この花押は拒み続けるしそれはレベルだ」ということは成り立たない fact12: あの癇癪は熱苦しくない fact13: もしこの花押がレベルでないとしたらこのカルビニズムは疑り深くない fact14: もし仮にあの岩はアウトサイダーであるということはないがしかし疑り深いとしたら「電路でない」ということは成り立つ ; $hypothesis$ = このカルビニズムは疑り深い ; $proof$ = 
fact3 -> int1: もし仮にあの岩が電路でないけどアウトサイダーであるとしたらレベルでない; fact6 & fact12 -> int2: あの岩は電路でないがそれはアウトサイダーである; int1 & int2 -> int3: あの岩はレベルだということはない; int3 & fact4 -> int4: 「この花押は拒み続ける一方でそれはレベルでない」ということは真実であるということはない; int4 & fact10 -> hypothesis; __PROVED__
事実1: あの癇癪は電路でないとしたら「「あの岩は熱苦しくてかつ電路だ」ということは間違っている」ということは本当である
事実2: 「あの岩は電路であるがしかし拒み続けない」ということは嘘である
事実3: もし仮に何らかのものは電路でない一方でアウトサイダーであるとするとそれはレベルでない
事実4: あの岩はレベルでないなら「この花押は拒み続ける一方でレベルでない」ということは成り立たない
事実5: もしあの癇癪が熱苦しくないとしたらあの岩はアウトサイダーだ
事実6: もしも「あの癇癪は熱苦しくない」ということは本当であるとすればあの岩は電路でないけどそれはアウトサイダーだ
事実7: あの癇癪は疑り深いということはない
事実8: このカルビニズムが電路でないとするとあの岩は疑り深いということはないけれどレベルである
事実9: 「この花押はアウトサイダーでない」ということは事実だ
事実10: 仮に「「この花押は拒み続けるがしかしそれはレベルでない」ということは事実である」ということは偽だとすればこのカルビニズムは疑り深い
事実11: 「この花押は拒み続けるしそれはレベルだ」ということは成り立たない
事実12: あの癇癪は熱苦しくない
事実13: もしこの花押がレベルでないとしたらこのカルビニズムは疑り深くない
事実14: もし仮にあの岩はアウトサイダーであるということはないがしかし疑り深いとしたら「電路でない」ということは成り立つ

仮説: このカルビニズムは疑り深い
1. 事実3から、推論1: "もし仮にあの岩が電路でないけどアウトサイダーであるとしたらレベルでない"が導かれる
2. 事実6と事実12から、推論2: "あの岩は電路でないがそれはアウトサイダーである"が導かれる
3. 推論1と推論2から、推論3: "あの岩はレベルだということはない"が導かれる
4. 推論3と事実4から、推論4: "「この花押は拒み続ける一方でそれはレベルでない」ということは真実であるということはない"が導かれる
5. 推論4と事実10から、仮説が導かれる

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