もしもこの十一Ｂがスクラブしないなら軽くない
fact1: この十一Ｂがスクラブしないならそれは軽い fact2: もし仮に「とある物は理解し辛くないし築き難くない」ということは嘘ならばそれは軽いということはない fact3: 「「この十一Ｂは理解し辛くないがしかし築き難い」ということは成り立つ」ということは成り立たない fact4: 仮にこの十一Ｂはスクラブしないなら「理解し辛くないし加えてそれは築き難くない」ということは偽である fact5: 仕方無くない物は理解し辛くない fact6: もしも「この十一Ｂは理解し辛くないしさらに築き難いということはない」ということは誤りだとしたら「軽い」ということは正しい fact7: 仮に「この十一Ｂはスクラブしない」ということは正しいとしたら「理解し辛いがしかし築き難くない」ということは偽である
void -> assump1: 以下のように仮定する。この十一Ｂはスクラブしない; fact4 & assump1 -> int1: 「この十一Ｂは理解し辛くないし築き難くない」ということは誤っている; fact2 -> int2: 仮に「この十一Ｂは理解し辛くないしさらに築き難いということはない」ということは間違いだとすればそれは軽くない; int1 & int2 -> int3: この十一Ｂは軽くない; [assump1] & int3 -> hypothesis;
もし「その工業上は仕方無くない」ということは成り立つとすれば理解し辛くない
fact8 -> hypothesis;
$facts$ = fact1: この十一Ｂがスクラブしないならそれは軽い fact2: もし仮に「とある物は理解し辛くないし築き難くない」ということは嘘ならばそれは軽いということはない fact3: 「「この十一Ｂは理解し辛くないがしかし築き難い」ということは成り立つ」ということは成り立たない fact4: 仮にこの十一Ｂはスクラブしないなら「理解し辛くないし加えてそれは築き難くない」ということは偽である fact5: 仕方無くない物は理解し辛くない fact6: もしも「この十一Ｂは理解し辛くないしさらに築き難いということはない」ということは誤りだとしたら「軽い」ということは正しい fact7: 仮に「この十一Ｂはスクラブしない」ということは正しいとしたら「理解し辛いがしかし築き難くない」ということは偽である ; $hypothesis$ = もしもこの十一Ｂがスクラブしないなら軽くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この十一Ｂはスクラブしない; fact4 & assump1 -> int1: 「この十一Ｂは理解し辛くないし築き難くない」ということは誤っている; fact2 -> int2: 仮に「この十一Ｂは理解し辛くないしさらに築き難いということはない」ということは間違いだとすればそれは軽くない; int1 & int2 -> int3: この十一Ｂは軽くない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この十一Ｂがスクラブしないならそれは軽い
事実2: もし仮に「とある物は理解し辛くないし築き難くない」ということは嘘ならばそれは軽いということはない
事実3: 「「この十一Ｂは理解し辛くないがしかし築き難い」ということは成り立つ」ということは成り立たない
事実4: 仮にこの十一Ｂはスクラブしないなら「理解し辛くないし加えてそれは築き難くない」ということは偽である
事実5: 仕方無くない物は理解し辛くない
事実6: もしも「この十一Ｂは理解し辛くないしさらに築き難いということはない」ということは誤りだとしたら「軽い」ということは正しい
事実7: 仮に「この十一Ｂはスクラブしない」ということは正しいとしたら「理解し辛いがしかし築き難くない」ということは偽である

仮説: もしもこの十一Ｂがスクラブしないなら軽くない
1. 仮定1: 以下のように仮定する。この十一Ｂはスクラブしない
2. 事実4と仮定1から、推論1: "「この十一Ｂは理解し辛くないし築き難くない」ということは誤っている"が導かれる
3. 事実2から、推論2: "仮に「この十一Ｂは理解し辛くないしさらに築き難いということはない」ということは間違いだとすればそれは軽くない"が導かれる
4. 推論1と推論2から、推論3: "この十一Ｂは軽くない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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