あの帝京興産は与え難くないけれど読み辛い
fact1: 仮に「決議しない」ものがあるとしたらあの帝京興産は与え難くないがしかし読み辛い fact2: もし仮になんらかの物が再使用するとするとソーシャル・ダンピングだということはないしその上それは読み辛くない fact3: 仮にあのバスルームは読み辛いということはないとしたら「そのモアは決議するしさらに与え難い」ということは嘘だ fact4: なにがしかの物は与え難い fact5: すべてはおっかしくなくて付け易くない fact6: 「決議しない」物はある fact7: もしも「そのモアは決議するし与え難い」ということは成り立たないとしたらあの帝京興産は傷害罪でない fact8: もし「決議しない」ものがあるならあの帝京興産は与え難くない
fact6 & fact1 -> hypothesis;
fact6 & fact1 -> hypothesis;
何らかのものは傷害罪だということはない
fact11 -> int1: あのバスルームが再使用するとしたらソーシャル・ダンピングでないし読み辛くない; fact10 -> int2: あのパラはおっかしくないしおまけに付け易くない; int2 -> int3: あのパラはおっかしくない; int3 -> int4: どれもこれもはおっかしくない; int4 -> int5: この弾力化はおっかしくない;
$facts$ = fact1: 仮に「決議しない」ものがあるとしたらあの帝京興産は与え難くないがしかし読み辛い fact2: もし仮になんらかの物が再使用するとするとソーシャル・ダンピングだということはないしその上それは読み辛くない fact3: 仮にあのバスルームは読み辛いということはないとしたら「そのモアは決議するしさらに与え難い」ということは嘘だ fact4: なにがしかの物は与え難い fact5: すべてはおっかしくなくて付け易くない fact6: 「決議しない」物はある fact7: もしも「そのモアは決議するし与え難い」ということは成り立たないとしたらあの帝京興産は傷害罪でない fact8: もし「決議しない」ものがあるならあの帝京興産は与え難くない ; $hypothesis$ = あの帝京興産は与え難くないけれど読み辛い ; $proof$ = 
fact6 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「決議しない」ものがあるとしたらあの帝京興産は与え難くないがしかし読み辛い
事実2: もし仮になんらかの物が再使用するとするとソーシャル・ダンピングだということはないしその上それは読み辛くない
事実3: 仮にあのバスルームは読み辛いということはないとしたら「そのモアは決議するしさらに与え難い」ということは嘘だ
事実4: なにがしかの物は与え難い
事実5: すべてはおっかしくなくて付け易くない
事実6: 「決議しない」物はある
事実7: もしも「そのモアは決議するし与え難い」ということは成り立たないとしたらあの帝京興産は傷害罪でない
事実8: もし「決議しない」ものがあるならあの帝京興産は与え難くない

仮説: あの帝京興産は与え難くないけれど読み辛い
1. 事実6と事実1から、仮説が導かれる

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