その特別清算は後らしくないかもしくは木らしいかあるいはどちらもだ
fact1: もしもこの自然系要素が後らしいということはないとすればあの特別清算は後らしくないかあるいは木らしいかもしくはどちらもである fact2: もし仮になにがしかの物は忍び笑いだとすれば「「発生し難くないし加えて甘酸っぱいということはない」ということは本当だ」ということは事実と異なる fact3: もし「なにかは発生し難くないしそれに甘酸っぱくない」ということは真実であるということはないとすると経営効率化である fact4: 仮にこの自然系要素が木らしくないならその特別清算は木らしいかまたは後らしいかもしくは両方である fact5: 仮になにかはせこいとすると乳臭い fact6: もし何らかの物が救わないとしたら略奪しないけど艶っぽい fact7: この自然系要素は一見でない fact8: もし仮にとあるものが経営効率化だとしたらそれは一見だ fact9: もし仮に何らかの物は一見であるならば「後らしいということはないかもしくは木らしいかあるいは両方ともである」ということは事実と異なる fact10: もしこの自然系要素が略奪しないけれど艶っぽいとするとその特別清算は艶っぽくない fact11: 仮にその特別清算が艶っぽいということはないとすればそれはせこいしそれに明細短冊である fact12: もし何かは一見でないとしたら「それは略奪しないかもしくは後らしいかもしくは両方ともだ」ということは真実だ fact13: 仮に「「このバシリカは労しないけど旅館業である」ということは成り立たない」ということは本当だとしたら「この自然系要素は救わない」ということは成り立つ fact14: もし仮にその取り立て権は道次第でないならば「このバシリカは労しないが旅館業である」ということは成り立たない fact15: この自然系要素は後らしくないし一見でない fact16: 乳臭いものは忍び笑いだ
fact15 -> int1: この自然系要素は後らしくない; int1 & fact1 -> hypothesis;
fact15 -> int1: ¬{A}{a}; int1 & fact1 -> hypothesis;
「その特別清算は後らしくないかあるいはそれは木らしいかもしくは両方ともだ」ということは間違っている
fact20 -> int2: 「その特別清算は一見だ」ということは真実であるならば「後らしくないかあるいは木らしいかもしくはどちらもだ」ということは事実と異なる; fact17 -> int3: もしその特別清算が経営効率化なら一見だ; fact23 -> int4: 「その特別清算は発生し難くないしそれに甘酸っぱくない」ということは嘘なら経営効率化だ; fact18 -> int5: 仮にその特別清算は忍び笑いであるとしたら「発生し難くないしそれに甘酸っぱくない」ということは間違っている; fact21 -> int6: 「その特別清算は乳臭い」ということは本当であるとしたらそれは忍び笑いだ; fact22 -> int7: その特別清算がせこいとすると乳臭い; fact27 -> int8: 仮にこの自然系要素が救わないとすれば略奪しないしさらにそれは艶っぽい;
$facts$ = fact1: もしもこの自然系要素が後らしいということはないとすればあの特別清算は後らしくないかあるいは木らしいかもしくはどちらもである fact2: もし仮になにがしかの物は忍び笑いだとすれば「「発生し難くないし加えて甘酸っぱいということはない」ということは本当だ」ということは事実と異なる fact3: もし「なにかは発生し難くないしそれに甘酸っぱくない」ということは真実であるということはないとすると経営効率化である fact4: 仮にこの自然系要素が木らしくないならその特別清算は木らしいかまたは後らしいかもしくは両方である fact5: 仮になにかはせこいとすると乳臭い fact6: もし何らかの物が救わないとしたら略奪しないけど艶っぽい fact7: この自然系要素は一見でない fact8: もし仮にとあるものが経営効率化だとしたらそれは一見だ fact9: もし仮に何らかの物は一見であるならば「後らしいということはないかもしくは木らしいかあるいは両方ともである」ということは事実と異なる fact10: もしこの自然系要素が略奪しないけれど艶っぽいとするとその特別清算は艶っぽくない fact11: 仮にその特別清算が艶っぽいということはないとすればそれはせこいしそれに明細短冊である fact12: もし何かは一見でないとしたら「それは略奪しないかもしくは後らしいかもしくは両方ともだ」ということは真実だ fact13: 仮に「「このバシリカは労しないけど旅館業である」ということは成り立たない」ということは本当だとしたら「この自然系要素は救わない」ということは成り立つ fact14: もし仮にその取り立て権は道次第でないならば「このバシリカは労しないが旅館業である」ということは成り立たない fact15: この自然系要素は後らしくないし一見でない fact16: 乳臭いものは忍び笑いだ ; $hypothesis$ = その特別清算は後らしくないかもしくは木らしいかあるいはどちらもだ ; $proof$ = 
fact15 -> int1: この自然系要素は後らしくない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしもこの自然系要素が後らしいということはないとすればあの特別清算は後らしくないかあるいは木らしいかもしくはどちらもである
事実2: もし仮になにがしかの物は忍び笑いだとすれば「「発生し難くないし加えて甘酸っぱいということはない」ということは本当だ」ということは事実と異なる
事実3: もし「なにかは発生し難くないしそれに甘酸っぱくない」ということは真実であるということはないとすると経営効率化である
事実4: 仮にこの自然系要素が木らしくないならその特別清算は木らしいかまたは後らしいかもしくは両方である
事実5: 仮になにかはせこいとすると乳臭い
事実6: もし何らかの物が救わないとしたら略奪しないけど艶っぽい
事実7: この自然系要素は一見でない
事実8: もし仮にとあるものが経営効率化だとしたらそれは一見だ
事実9: もし仮に何らかの物は一見であるならば「後らしいということはないかもしくは木らしいかあるいは両方ともである」ということは事実と異なる
事実10: もしこの自然系要素が略奪しないけれど艶っぽいとするとその特別清算は艶っぽくない
事実11: 仮にその特別清算が艶っぽいということはないとすればそれはせこいしそれに明細短冊である
事実12: もし何かは一見でないとしたら「それは略奪しないかもしくは後らしいかもしくは両方ともだ」ということは真実だ
事実13: 仮に「「このバシリカは労しないけど旅館業である」ということは成り立たない」ということは本当だとしたら「この自然系要素は救わない」ということは成り立つ
事実14: もし仮にその取り立て権は道次第でないならば「このバシリカは労しないが旅館業である」ということは成り立たない
事実15: この自然系要素は後らしくないし一見でない
事実16: 乳臭いものは忍び笑いだ

仮説: その特別清算は後らしくないかもしくは木らしいかあるいはどちらもだ
1. 事実15から、推論1: "この自然系要素は後らしくない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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