「もしラードでないとすると爆笑しなくて働かない」物はある
fact1: あの芸術活動が浮き易くないとすればそれはラードでない fact2: もし仮にその文庫がラードならそれは爆笑しなくてかつ働かない fact3: 「ラードなら爆笑しなくてまた働かない」物はある fact4: 仮にその文庫がラードだということはないならば爆笑しないしそれに働くということはない fact5: 「もし仮にラードであるということはないとすれば爆笑するし働かない」ものはある fact6: 「もし仮にラードでないとすると働かない」ものはある fact7: 「もし仮に「ラードでない」ということは成り立つとすると爆笑しなくて働く」物はある fact8: もしその文庫はラードでないとしたらそれは爆笑しない fact9: もしあるものが追従しないならば対ＧＤＰ比率であるということはないし加えてそれはむず痒くない fact10: もしもその文庫が詰まり易いということはないとするとＭＥＭＳでない
fact4 -> hypothesis;
fact4 -> hypothesis;
「追従しないとすれば対ＧＤＰ比率だということはないしむず痒くない」ものはある
fact11 -> int1: もしもこの新宿衛生病院が追従しないとするとそれは対ＧＤＰ比率でないしさらにむず痒くない; int1 -> hypothesis;
$facts$ = fact1: あの芸術活動が浮き易くないとすればそれはラードでない fact2: もし仮にその文庫がラードならそれは爆笑しなくてかつ働かない fact3: 「ラードなら爆笑しなくてまた働かない」物はある fact4: 仮にその文庫がラードだということはないならば爆笑しないしそれに働くということはない fact5: 「もし仮にラードであるということはないとすれば爆笑するし働かない」ものはある fact6: 「もし仮にラードでないとすると働かない」ものはある fact7: 「もし仮に「ラードでない」ということは成り立つとすると爆笑しなくて働く」物はある fact8: もしその文庫はラードでないとしたらそれは爆笑しない fact9: もしあるものが追従しないならば対ＧＤＰ比率であるということはないし加えてそれはむず痒くない fact10: もしもその文庫が詰まり易いということはないとするとＭＥＭＳでない ; $hypothesis$ = 「もしラードでないとすると爆笑しなくて働かない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あの芸術活動が浮き易くないとすればそれはラードでない
事実2: もし仮にその文庫がラードならそれは爆笑しなくてかつ働かない
事実3: 「ラードなら爆笑しなくてまた働かない」物はある
事実4: 仮にその文庫がラードだということはないならば爆笑しないしそれに働くということはない
事実5: 「もし仮にラードであるということはないとすれば爆笑するし働かない」ものはある
事実6: 「もし仮にラードでないとすると働かない」ものはある
事実7: 「もし仮に「ラードでない」ということは成り立つとすると爆笑しなくて働く」物はある
事実8: もしその文庫はラードでないとしたらそれは爆笑しない
事実9: もしあるものが追従しないならば対ＧＤＰ比率であるということはないし加えてそれはむず痒くない
事実10: もしもその文庫が詰まり易いということはないとするとＭＥＭＳでない

仮説: 「もしラードでないとすると爆笑しなくて働かない」物はある
1. 事実4から、仮説が導かれる

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