その寂しさは齎し易くないし息苦しくない
fact1: その寂しさはきったなくない fact2: 「仮に「あの貼り薬は息苦しいけど発生し易いということはない」ということは偽であるとしたらそのデーターベースは息苦しくない」ということは成り立つ fact3: そのデーターベースがこそこそするしかつ傷付き易いならばその寂しさは傷付き易くない fact4: もしもその寂しさは捩じ込まないならば「それは利用技術だということはない」ということは成り立つ fact5: その寂しさはこそこそしない fact6: それは群がるしさらにこそこそするという物はない fact7: もしもあるものは傷付き易くないなら「息苦しいけど発生し易くない」ということは間違っている fact8: そのデーターベースが齎し易いということはないとすればそれはメモしない fact9: 仮にとある物が傷付き易くないなら息苦しくないしさらにこそこそしない fact10: 発生し易くないものは傷付き易いし更に息苦しい fact11: 傷付き易くない物は齎し易くないしまた息苦しくない fact12: もしそのデーターベースがこそこそしないなら商人らしくないし意味深いということはない fact13: このコース上はこそこそする fact14: 仮にその寂しさが傷付き易くないとするとそれは息苦しくない fact15: この日野ＫＣ‐ＲＪ一ＪＪＡＡは今度であるしその上傷付き易い fact16: そのデーターベースはこそこそするししかも傷付き易い
fact11 -> int1: その寂しさが傷付き易いということはないとするとそれは齎し易くないしまた息苦しくない; fact16 & fact3 -> int2: その寂しさは傷付き易くない; int1 & int2 -> hypothesis;
そのデーターベースは息苦しくない
fact18 -> int3: 「この把握等は傷付き易くないとすれば「この把握等は息苦しいけど発生し易くない」ということは間違いである」ということは真実である; fact17 -> int4: 「この把握等は群がるし更にこそこそする」ということは嘘だ;
$facts$ = fact1: その寂しさはきったなくない fact2: 「仮に「あの貼り薬は息苦しいけど発生し易いということはない」ということは偽であるとしたらそのデーターベースは息苦しくない」ということは成り立つ fact3: そのデーターベースがこそこそするしかつ傷付き易いならばその寂しさは傷付き易くない fact4: もしもその寂しさは捩じ込まないならば「それは利用技術だということはない」ということは成り立つ fact5: その寂しさはこそこそしない fact6: それは群がるしさらにこそこそするという物はない fact7: もしもあるものは傷付き易くないなら「息苦しいけど発生し易くない」ということは間違っている fact8: そのデーターベースが齎し易いということはないとすればそれはメモしない fact9: 仮にとある物が傷付き易くないなら息苦しくないしさらにこそこそしない fact10: 発生し易くないものは傷付き易いし更に息苦しい fact11: 傷付き易くない物は齎し易くないしまた息苦しくない fact12: もしそのデーターベースがこそこそしないなら商人らしくないし意味深いということはない fact13: このコース上はこそこそする fact14: 仮にその寂しさが傷付き易くないとするとそれは息苦しくない fact15: この日野ＫＣ‐ＲＪ一ＪＪＡＡは今度であるしその上傷付き易い fact16: そのデーターベースはこそこそするししかも傷付き易い ; $hypothesis$ = その寂しさは齎し易くないし息苦しくない ; $proof$ = 
fact11 -> int1: その寂しさが傷付き易いということはないとするとそれは齎し易くないしまた息苦しくない; fact16 & fact3 -> int2: その寂しさは傷付き易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: その寂しさはきったなくない
事実2: 「仮に「あの貼り薬は息苦しいけど発生し易いということはない」ということは偽であるとしたらそのデーターベースは息苦しくない」ということは成り立つ
事実3: そのデーターベースがこそこそするしかつ傷付き易いならばその寂しさは傷付き易くない
事実4: もしもその寂しさは捩じ込まないならば「それは利用技術だということはない」ということは成り立つ
事実5: その寂しさはこそこそしない
事実6: それは群がるしさらにこそこそするという物はない
事実7: もしもあるものは傷付き易くないなら「息苦しいけど発生し易くない」ということは間違っている
事実8: そのデーターベースが齎し易いということはないとすればそれはメモしない
事実9: 仮にとある物が傷付き易くないなら息苦しくないしさらにこそこそしない
事実10: 発生し易くないものは傷付き易いし更に息苦しい
事実11: 傷付き易くない物は齎し易くないしまた息苦しくない
事実12: もしそのデーターベースがこそこそしないなら商人らしくないし意味深いということはない
事実13: このコース上はこそこそする
事実14: 仮にその寂しさが傷付き易くないとするとそれは息苦しくない
事実15: この日野ＫＣ‐ＲＪ一ＪＪＡＡは今度であるしその上傷付き易い
事実16: そのデーターベースはこそこそするししかも傷付き易い

仮説: その寂しさは齎し易くないし息苦しくない
1. 事実11から、推論1: "その寂しさが傷付き易いということはないとするとそれは齎し易くないしまた息苦しくない"が導かれる
2. 事実16と事実3から、推論2: "その寂しさは傷付き易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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