この多粒子系はイミテーションだ
fact1: 何らかのものは掻っ払うとすれば「それが賢しくないしさらに落ち易い」ということは成り立たない fact2: この家族歴は賢しい fact3: 仮に「そのデイトレードは対応し易いし更に居眠り運転だ」ということは間違っているならばあの家族歴は対応し易くない fact4: この家族歴はイミテーションだ fact5: もしもこの多粒子系が対応し易くないとすればそれは苛々し易いかもしくはそれは掻っ払う fact6: この多粒子系は賢しい fact7: この朝日岳は賢しい fact8: 仮にこの家族歴がイミテーションならこのゲートキーパーはイミテーションだ fact9: この多粒子系は対応し易くない fact10: この多粒子系は配当出来る fact11: もしなにがしかの物が対応し易くないなら掻っ払うし苛々し易い fact12: もし仮に何らかのものが苛々し易いとすると落ち易い fact13: 「仮にこの家族歴が賢しいならばあの多粒子系はイミテーションである」ということは成り立つ
fact13 & fact2 -> hypothesis;
fact13 & fact2 -> hypothesis;
このゲートキーパーは賢しい
fact15 & fact17 -> int1: この多粒子系は苛々し易いかもしくは掻っ払うかもしくはどちらもだ; fact14 -> int2: もしこの多粒子系が苛々し易いとするとそれは落ち易い;
$facts$ = fact1: 何らかのものは掻っ払うとすれば「それが賢しくないしさらに落ち易い」ということは成り立たない fact2: この家族歴は賢しい fact3: 仮に「そのデイトレードは対応し易いし更に居眠り運転だ」ということは間違っているならばあの家族歴は対応し易くない fact4: この家族歴はイミテーションだ fact5: もしもこの多粒子系が対応し易くないとすればそれは苛々し易いかもしくはそれは掻っ払う fact6: この多粒子系は賢しい fact7: この朝日岳は賢しい fact8: 仮にこの家族歴がイミテーションならこのゲートキーパーはイミテーションだ fact9: この多粒子系は対応し易くない fact10: この多粒子系は配当出来る fact11: もしなにがしかの物が対応し易くないなら掻っ払うし苛々し易い fact12: もし仮に何らかのものが苛々し易いとすると落ち易い fact13: 「仮にこの家族歴が賢しいならばあの多粒子系はイミテーションである」ということは成り立つ ; $hypothesis$ = この多粒子系はイミテーションだ ; $proof$ = 
fact13 & fact2 -> hypothesis; __PROVED__
事実1: 何らかのものは掻っ払うとすれば「それが賢しくないしさらに落ち易い」ということは成り立たない
事実2: この家族歴は賢しい
事実3: 仮に「そのデイトレードは対応し易いし更に居眠り運転だ」ということは間違っているならばあの家族歴は対応し易くない
事実4: この家族歴はイミテーションだ
事実5: もしもこの多粒子系が対応し易くないとすればそれは苛々し易いかもしくはそれは掻っ払う
事実6: この多粒子系は賢しい
事実7: この朝日岳は賢しい
事実8: 仮にこの家族歴がイミテーションならこのゲートキーパーはイミテーションだ
事実9: この多粒子系は対応し易くない
事実10: この多粒子系は配当出来る
事実11: もしなにがしかの物が対応し易くないなら掻っ払うし苛々し易い
事実12: もし仮に何らかのものが苛々し易いとすると落ち易い
事実13: 「仮にこの家族歴が賢しいならばあの多粒子系はイミテーションである」ということは成り立つ

仮説: この多粒子系はイミテーションだ
1. 事実13と事実2から、仮説が導かれる

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