「この健康長寿は叩き落す」ということは確かだ
fact1: 仮に「あの憧憬は叩き落さない」ということは真実だとしたらこの健康長寿は暮れ泥むということはない fact2: 「「めんどい」ということは正しい」物はある fact3: もしもあの憧憬が暮れ泥むということはない一方でめんどいならばあの健康長寿は叩き落す fact4: 「めんどくない」ものはある fact5: もしもめんどくないものはあるなら「あの憧憬は暮れ泥むししかもそれはメイクする」ということは本当でない fact6: もし仮に「めんどくない」物はあるとすると「あの憧憬は暮れ泥む一方でメイクしない」ということは事実でない fact7: もし「あの憧憬は暮れ泥むけどメイクしない」ということは成り立たないならこの健康長寿は叩き落さない fact8: 長しない物はメイクするしその上シェイクする fact9: 「あの憧憬は暮れ泥むし更にメイクする」ということは成り立たない fact10: もしもあの玻璃がメイクするとすればあの憧憬は暮れ泥まないけどめんどい
fact4 & fact6 -> int1: 「あの憧憬は暮れ泥むけどメイクしない」ということは間違っている; int1 & fact7 -> hypothesis;
この健康長寿は叩き落す
fact13 -> int2: もし仮にあの玻璃が長しないならばそれはメイクするしさらにシェイクする;
$facts$ = fact1: 仮に「あの憧憬は叩き落さない」ということは真実だとしたらこの健康長寿は暮れ泥むということはない fact2: 「「めんどい」ということは正しい」物はある fact3: もしもあの憧憬が暮れ泥むということはない一方でめんどいならばあの健康長寿は叩き落す fact4: 「めんどくない」ものはある fact5: もしもめんどくないものはあるなら「あの憧憬は暮れ泥むししかもそれはメイクする」ということは本当でない fact6: もし仮に「めんどくない」物はあるとすると「あの憧憬は暮れ泥む一方でメイクしない」ということは事実でない fact7: もし「あの憧憬は暮れ泥むけどメイクしない」ということは成り立たないならこの健康長寿は叩き落さない fact8: 長しない物はメイクするしその上シェイクする fact9: 「あの憧憬は暮れ泥むし更にメイクする」ということは成り立たない fact10: もしもあの玻璃がメイクするとすればあの憧憬は暮れ泥まないけどめんどい ; $hypothesis$ = 「この健康長寿は叩き落す」ということは確かだ ; $proof$ = 
fact4 & fact6 -> int1: 「あの憧憬は暮れ泥むけどメイクしない」ということは間違っている; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に「あの憧憬は叩き落さない」ということは真実だとしたらこの健康長寿は暮れ泥むということはない
事実2: 「「めんどい」ということは正しい」物はある
事実3: もしもあの憧憬が暮れ泥むということはない一方でめんどいならばあの健康長寿は叩き落す
事実4: 「めんどくない」ものはある
事実5: もしもめんどくないものはあるなら「あの憧憬は暮れ泥むししかもそれはメイクする」ということは本当でない
事実6: もし仮に「めんどくない」物はあるとすると「あの憧憬は暮れ泥む一方でメイクしない」ということは事実でない
事実7: もし「あの憧憬は暮れ泥むけどメイクしない」ということは成り立たないならこの健康長寿は叩き落さない
事実8: 長しない物はメイクするしその上シェイクする
事実9: 「あの憧憬は暮れ泥むし更にメイクする」ということは成り立たない
事実10: もしもあの玻璃がメイクするとすればあの憧憬は暮れ泥まないけどめんどい

仮説: 「この健康長寿は叩き落す」ということは確かだ
1. 事実4と事実6から、推論1: "「あの憧憬は暮れ泥むけどメイクしない」ということは間違っている"が導かれる
2. 推論1と事実7から、仮説が否定される

よって、仮説が否定されました。