この計量モデルは長けない
fact1: なにがしかのものは制作費でないならば「長けるし加えて死ねる」ということは真実だ fact2: もし仮に「この計量モデルは物慣れない」ということは真実だとすればそれは熱くない fact3: 「この計量モデルは熱くないけれどか弱い」ということは誤りだ fact4: 「もし仮に「この計量モデルは恥ずかしくないけれど年金対策である」ということは誤りだとしたらこの計量モデルはか弱くない」ということは成り立つ fact5: 「この計量モデルは熱くてか弱い」ということは間違っている fact6: もしもそのループ状が長けるとしたらこの計量モデルは長ける fact7: もし仮に「この情報交換は回り始めないけどそれは管理し易い」ということは間違いであるとすればまどろっこしくらない fact8: 仮に「この計量モデルは熱いということはないけれどか弱い」ということは成り立たないとするとそれは長けない fact9: この計量モデルは入貢しない
fact8 & fact3 -> hypothesis;
この計量モデルは長ける
fact10 -> int1: もしそのループ状は制作費でないとしたら長けるし加えて死ねる;
$facts$ = fact1: なにがしかのものは制作費でないならば「長けるし加えて死ねる」ということは真実だ fact2: もし仮に「この計量モデルは物慣れない」ということは真実だとすればそれは熱くない fact3: 「この計量モデルは熱くないけれどか弱い」ということは誤りだ fact4: 「もし仮に「この計量モデルは恥ずかしくないけれど年金対策である」ということは誤りだとしたらこの計量モデルはか弱くない」ということは成り立つ fact5: 「この計量モデルは熱くてか弱い」ということは間違っている fact6: もしもそのループ状が長けるとしたらこの計量モデルは長ける fact7: もし仮に「この情報交換は回り始めないけどそれは管理し易い」ということは間違いであるとすればまどろっこしくらない fact8: 仮に「この計量モデルは熱いということはないけれどか弱い」ということは成り立たないとするとそれは長けない fact9: この計量モデルは入貢しない ; $hypothesis$ = この計量モデルは長けない ; $proof$ = 
fact8 & fact3 -> hypothesis; __PROVED__
事実1: なにがしかのものは制作費でないならば「長けるし加えて死ねる」ということは真実だ
事実2: もし仮に「この計量モデルは物慣れない」ということは真実だとすればそれは熱くない
事実3: 「この計量モデルは熱くないけれどか弱い」ということは誤りだ
事実4: 「もし仮に「この計量モデルは恥ずかしくないけれど年金対策である」ということは誤りだとしたらこの計量モデルはか弱くない」ということは成り立つ
事実5: 「この計量モデルは熱くてか弱い」ということは間違っている
事実6: もしもそのループ状が長けるとしたらこの計量モデルは長ける
事実7: もし仮に「この情報交換は回り始めないけどそれは管理し易い」ということは間違いであるとすればまどろっこしくらない
事実8: 仮に「この計量モデルは熱いということはないけれどか弱い」ということは成り立たないとするとそれは長けない
事実9: この計量モデルは入貢しない

仮説: この計量モデルは長けない
1. 事実8と事実3から、仮説が導かれる

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