その木の芽は単独講和である
fact1: 「あの食塩は単独講和である」ということは事実だ fact2: すべての物は加工し易いかあるいは少なしということはないかもしくはどちらもだ fact3: その木の芽が七転八倒しないがしかしそれが甚だしいならそれは加工し易い fact4: もし仮になにかは七転八倒するとすると単独講和だ fact5: もし仮に少なし物が加工し易いとしたら単独講和でない fact6: すべての物は完成形でないかそれは臨床応用しない fact7: なんらかの物が洒落臭いならばそれは発症し易い fact8: その木の芽が伸ばし易くないとすれば七転八倒しないしそれは甚だしい fact9: すべての物は加工し易くないか少なしない fact10: あの自由分は加工し易くないかあるいはそれは少なし fact11: あの自由分は加工し易いかあるいは少なしないか両方である fact12: 全てのものは加工し易いということはないかそれは少なし fact13: もし仮にその木の芽が少なしならばそれは七転八倒する fact14: もし仮にそのＭＯＦは思わしくないか少なしないかまたは両方ともだとすると「この細魚は単独講和である」ということは嘘でない fact15: 仮にあの自由分が加工し易くないかもしくは少なしないとするとその木の芽は七転八倒する
fact9 -> int1: あの自由分は加工し易くないか少なしないか両方だ; int1 & fact15 -> int2: 「その木の芽は七転八倒する」ということは成り立つ; fact4 -> int3: もしもその木の芽が七転八倒するとするとそれは単独講和である; int2 & int3 -> hypothesis;
fact9 -> int1: (¬{A}{aa} v ¬{B}{aa}); int1 & fact15 -> int2: {C}{a}; fact4 -> int3: {C}{a} -> {D}{a}; int2 & int3 -> hypothesis;
その木の芽は単独講和でない
fact17 -> int4: もしその木の芽が少なししそれに加工し易いとするとそれは単独講和でない;
$facts$ = fact1: 「あの食塩は単独講和である」ということは事実だ fact2: すべての物は加工し易いかあるいは少なしということはないかもしくはどちらもだ fact3: その木の芽が七転八倒しないがしかしそれが甚だしいならそれは加工し易い fact4: もし仮になにかは七転八倒するとすると単独講和だ fact5: もし仮に少なし物が加工し易いとしたら単独講和でない fact6: すべての物は完成形でないかそれは臨床応用しない fact7: なんらかの物が洒落臭いならばそれは発症し易い fact8: その木の芽が伸ばし易くないとすれば七転八倒しないしそれは甚だしい fact9: すべての物は加工し易くないか少なしない fact10: あの自由分は加工し易くないかあるいはそれは少なし fact11: あの自由分は加工し易いかあるいは少なしないか両方である fact12: 全てのものは加工し易いということはないかそれは少なし fact13: もし仮にその木の芽が少なしならばそれは七転八倒する fact14: もし仮にそのＭＯＦは思わしくないか少なしないかまたは両方ともだとすると「この細魚は単独講和である」ということは嘘でない fact15: 仮にあの自由分が加工し易くないかもしくは少なしないとするとその木の芽は七転八倒する ; $hypothesis$ = その木の芽は単独講和である ; $proof$ = 
fact9 -> int1: あの自由分は加工し易くないか少なしないか両方だ; int1 & fact15 -> int2: 「その木の芽は七転八倒する」ということは成り立つ; fact4 -> int3: もしもその木の芽が七転八倒するとするとそれは単独講和である; int2 & int3 -> hypothesis; __PROVED__
事実1: 「あの食塩は単独講和である」ということは事実だ
事実2: すべての物は加工し易いかあるいは少なしということはないかもしくはどちらもだ
事実3: その木の芽が七転八倒しないがしかしそれが甚だしいならそれは加工し易い
事実4: もし仮になにかは七転八倒するとすると単独講和だ
事実5: もし仮に少なし物が加工し易いとしたら単独講和でない
事実6: すべての物は完成形でないかそれは臨床応用しない
事実7: なんらかの物が洒落臭いならばそれは発症し易い
事実8: その木の芽が伸ばし易くないとすれば七転八倒しないしそれは甚だしい
事実9: すべての物は加工し易くないか少なしない
事実10: あの自由分は加工し易くないかあるいはそれは少なし
事実11: あの自由分は加工し易いかあるいは少なしないか両方である
事実12: 全てのものは加工し易いということはないかそれは少なし
事実13: もし仮にその木の芽が少なしならばそれは七転八倒する
事実14: もし仮にそのＭＯＦは思わしくないか少なしないかまたは両方ともだとすると「この細魚は単独講和である」ということは嘘でない
事実15: 仮にあの自由分が加工し易くないかもしくは少なしないとするとその木の芽は七転八倒する

仮説: その木の芽は単独講和である
1. 事実9から、推論1: "あの自由分は加工し易くないか少なしないか両方だ"が導かれる
2. 推論1と事実15から、推論2: "「その木の芽は七転八倒する」ということは成り立つ"が導かれる
3. 事実4から、推論3: "もしもその木の芽が七転八倒するとするとそれは単独講和である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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