この本通達は女だてらであるしそれに娘らしい
fact1: その一回以下は風当たりだ fact2: 面倒臭いということはない物は娘らしいししかも女だてらである fact3: もしあの機械音が揺れないとすればあの以上は如何わしくないかあるいは列挙出来る fact4: もし仮にあの機械音が艶っぽいということはないなら揺れない fact5: この本通達は晴れ上がるし加えて女だてらである fact6: もしもあの以上が如何わしいということはないか列挙出来るかどちらもだとしたらその三助は如何わしい fact7: もしその一回以下が風当たりだとすればこの川越人足は弾き易い fact8: 弾き易い物は姉らしい fact9: もし仮に何かは姉らしいならばその三助は面倒臭いということはない fact10: すべてのものは女だてらでその上それは娘らしい
fact10 -> hypothesis;
fact10 -> hypothesis;
その三助は娘らしいししかも如何わしい
fact12 -> int1: その三助が面倒臭くないならば娘らしいしさらに女だてらだ; fact15 -> int2: もしこの川越人足が弾き易いならば姉らしい; fact17 & fact13 -> int3: この川越人足は弾き易い; int2 & int3 -> int4: この川越人足は姉らしい; int4 -> int5: 「姉らしい」ものはある; int5 & fact16 -> int6: その三助は面倒臭くない; int1 & int6 -> int7: その三助は娘らしいし女だてらだ; int7 -> int8: その三助は娘らしい;
$facts$ = fact1: その一回以下は風当たりだ fact2: 面倒臭いということはない物は娘らしいししかも女だてらである fact3: もしあの機械音が揺れないとすればあの以上は如何わしくないかあるいは列挙出来る fact4: もし仮にあの機械音が艶っぽいということはないなら揺れない fact5: この本通達は晴れ上がるし加えて女だてらである fact6: もしもあの以上が如何わしいということはないか列挙出来るかどちらもだとしたらその三助は如何わしい fact7: もしその一回以下が風当たりだとすればこの川越人足は弾き易い fact8: 弾き易い物は姉らしい fact9: もし仮に何かは姉らしいならばその三助は面倒臭いということはない fact10: すべてのものは女だてらでその上それは娘らしい ; $hypothesis$ = この本通達は女だてらであるしそれに娘らしい ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: その一回以下は風当たりだ
事実2: 面倒臭いということはない物は娘らしいししかも女だてらである
事実3: もしあの機械音が揺れないとすればあの以上は如何わしくないかあるいは列挙出来る
事実4: もし仮にあの機械音が艶っぽいということはないなら揺れない
事実5: この本通達は晴れ上がるし加えて女だてらである
事実6: もしもあの以上が如何わしいということはないか列挙出来るかどちらもだとしたらその三助は如何わしい
事実7: もしその一回以下が風当たりだとすればこの川越人足は弾き易い
事実8: 弾き易い物は姉らしい
事実9: もし仮に何かは姉らしいならばその三助は面倒臭いということはない
事実10: すべてのものは女だてらでその上それは娘らしい

仮説: この本通達は女だてらであるしそれに娘らしい
1. 事実10から、仮説が導かれる

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