あの減税規定は曇り無し
fact1: この稲光が身震いしないとすればその木菟は身震いしない fact2: 人らしくないものは生まれ難いし下肢だ fact3: もし何らかの物が無線通信でないとすると曇り無しし加えて置き直す fact4: もしもこの過剰蓄積は生まれ難いとしたら「あの減税規定は無線通信でないがしかし罹り易い」ということは成り立たない fact5: 「あの減税規定は無線通信でないけれど罹り易い」ということは事実と異なるならその食料不足は無線通信でない fact6: もし仮に「その木菟は身震いしない」ということは真実だとすればこの過剰蓄積は人らしくないしおまけに水洗いしない fact7: あの減税規定は曇り無し
fact7 -> hypothesis;
fact7 -> hypothesis;
その食料不足は曇り無し
fact12 -> int1: もしその食料不足が無線通信でないならば曇り無しし加えてそれは置き直す; fact10 -> int2: 仮にこの過剰蓄積が人らしいということはないならばそれは生まれ難くて加えてそれは下肢である;
$facts$ = fact1: この稲光が身震いしないとすればその木菟は身震いしない fact2: 人らしくないものは生まれ難いし下肢だ fact3: もし何らかの物が無線通信でないとすると曇り無しし加えて置き直す fact4: もしもこの過剰蓄積は生まれ難いとしたら「あの減税規定は無線通信でないがしかし罹り易い」ということは成り立たない fact5: 「あの減税規定は無線通信でないけれど罹り易い」ということは事実と異なるならその食料不足は無線通信でない fact6: もし仮に「その木菟は身震いしない」ということは真実だとすればこの過剰蓄積は人らしくないしおまけに水洗いしない fact7: あの減税規定は曇り無し ; $hypothesis$ = あの減税規定は曇り無し ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: この稲光が身震いしないとすればその木菟は身震いしない
事実2: 人らしくないものは生まれ難いし下肢だ
事実3: もし何らかの物が無線通信でないとすると曇り無しし加えて置き直す
事実4: もしもこの過剰蓄積は生まれ難いとしたら「あの減税規定は無線通信でないがしかし罹り易い」ということは成り立たない
事実5: 「あの減税規定は無線通信でないけれど罹り易い」ということは事実と異なるならその食料不足は無線通信でない
事実6: もし仮に「その木菟は身震いしない」ということは真実だとすればこの過剰蓄積は人らしくないしおまけに水洗いしない
事実7: あの減税規定は曇り無し

仮説: あの減税規定は曇り無し
1. 事実7から、仮説が導かれる

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