この水滸伝は掛かり易い
fact1: 「この水滸伝は掛かり易くてまた恐ろしい」ということは成り立つ fact2: その企ては掛かり易い fact3: 仮になんらかのものは気弱くないとしたら「それは恐ろしくない一方で掛かり易い」ということは誤っている fact4: この水滸伝は普遍化する fact5: もしもなにかはスウィングでないとしたら「気弱いということはない」ということは確かだ fact6: もしもなんらかの物がスウィングでないとすればそれは恐ろしいけれど気弱くない fact7: 仮に「あるものは女っぽくない一方でそれは薄れ行く」ということは成り立たないならばスウィングでない fact8: もし仮にこの保安規程が恐ろしい一方でそれが気弱くないとしたらこの水滸伝は掛かり易くない fact9: この水滸伝は恐ろしい fact10: そのＺＩＰは掛かり易くて差し戻す
fact1 -> hypothesis;
fact1 -> hypothesis;
この水滸伝は掛かり易くない
fact11 -> int1: 「もし仮にこの保安規程がスウィングでないならこの保安規程は恐ろしいけれど気弱くない」ということは正しい; fact13 -> int2: もし「この保安規程は女っぽくないけれど薄れ行く」ということは事実と異なればそれはスウィングでない;
$facts$ = fact1: 「この水滸伝は掛かり易くてまた恐ろしい」ということは成り立つ fact2: その企ては掛かり易い fact3: 仮になんらかのものは気弱くないとしたら「それは恐ろしくない一方で掛かり易い」ということは誤っている fact4: この水滸伝は普遍化する fact5: もしもなにかはスウィングでないとしたら「気弱いということはない」ということは確かだ fact6: もしもなんらかの物がスウィングでないとすればそれは恐ろしいけれど気弱くない fact7: 仮に「あるものは女っぽくない一方でそれは薄れ行く」ということは成り立たないならばスウィングでない fact8: もし仮にこの保安規程が恐ろしい一方でそれが気弱くないとしたらこの水滸伝は掛かり易くない fact9: この水滸伝は恐ろしい fact10: そのＺＩＰは掛かり易くて差し戻す ; $hypothesis$ = この水滸伝は掛かり易い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「この水滸伝は掛かり易くてまた恐ろしい」ということは成り立つ
事実2: その企ては掛かり易い
事実3: 仮になんらかのものは気弱くないとしたら「それは恐ろしくない一方で掛かり易い」ということは誤っている
事実4: この水滸伝は普遍化する
事実5: もしもなにかはスウィングでないとしたら「気弱いということはない」ということは確かだ
事実6: もしもなんらかの物がスウィングでないとすればそれは恐ろしいけれど気弱くない
事実7: 仮に「あるものは女っぽくない一方でそれは薄れ行く」ということは成り立たないならばスウィングでない
事実8: もし仮にこの保安規程が恐ろしい一方でそれが気弱くないとしたらこの水滸伝は掛かり易くない
事実9: この水滸伝は恐ろしい
事実10: そのＺＩＰは掛かり易くて差し戻す

仮説: この水滸伝は掛かり易い
1. 事実1から、仮説が導かれる

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