あのＡＥロックは消化吸収され易い
fact1: もしもあのＡＥロックは快いならば「消化吸収され易い」ということは成り立つ fact2: もしも「あのＡＥロックは親和力でなくてしかも荒振らない」ということは成り立たないとしたらそれは消化吸収され易い fact3: 「あのエコー下は起こり難くなくて更に消化吸収され易くない」ということは間違いである fact4: 「あのＡＥロックは親和力でないしまた荒振らない」ということは本当でない fact5: もし仮にあのＡＥロックが親和力ならばそれは調節し易い fact6: あのＡＥロックは気怠い fact7: 「その第一誘導は親和力だがしかしっ早くない」ということは間違いだ fact8: あのＡＥロックは公害問題である fact9: もしこのブロンズ像が御悪いならば仕切る fact10: もしなにかは容易いならば「移動し易いということはないししかも想定し難いということはない」ということは間違いである
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
「あのＡＥロックは移動し易くないしそれは想定し難くない」ということは正しくない
fact11 -> int1: もし仮にあのＡＥロックは容易いとすれば「移動し易いということはないし想定し難くない」ということは成り立たない;
$facts$ = fact1: もしもあのＡＥロックは快いならば「消化吸収され易い」ということは成り立つ fact2: もしも「あのＡＥロックは親和力でなくてしかも荒振らない」ということは成り立たないとしたらそれは消化吸収され易い fact3: 「あのエコー下は起こり難くなくて更に消化吸収され易くない」ということは間違いである fact4: 「あのＡＥロックは親和力でないしまた荒振らない」ということは本当でない fact5: もし仮にあのＡＥロックが親和力ならばそれは調節し易い fact6: あのＡＥロックは気怠い fact7: 「その第一誘導は親和力だがしかしっ早くない」ということは間違いだ fact8: あのＡＥロックは公害問題である fact9: もしこのブロンズ像が御悪いならば仕切る fact10: もしなにかは容易いならば「移動し易いということはないししかも想定し難いということはない」ということは間違いである ; $hypothesis$ = あのＡＥロックは消化吸収され易い ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: もしもあのＡＥロックは快いならば「消化吸収され易い」ということは成り立つ
事実2: もしも「あのＡＥロックは親和力でなくてしかも荒振らない」ということは成り立たないとしたらそれは消化吸収され易い
事実3: 「あのエコー下は起こり難くなくて更に消化吸収され易くない」ということは間違いである
事実4: 「あのＡＥロックは親和力でないしまた荒振らない」ということは本当でない
事実5: もし仮にあのＡＥロックが親和力ならばそれは調節し易い
事実6: あのＡＥロックは気怠い
事実7: 「その第一誘導は親和力だがしかしっ早くない」ということは間違いだ
事実8: あのＡＥロックは公害問題である
事実9: もしこのブロンズ像が御悪いならば仕切る
事実10: もしなにかは容易いならば「移動し易いということはないししかも想定し難いということはない」ということは間違いである

仮説: あのＡＥロックは消化吸収され易い
1. 事実2と事実4から、仮説が導かれる

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