あのスーパー等は蹌踉くかまたは接地するかまたは両方である
fact1: あのスーパー等は形局だ fact2: 「なにがしかの物は由々しい」ということは成り立つ fact3: 「「蹌踉く」ということは成り立つ」物はある fact4: もし仮になにがしかの物が行き易いししかも御労しいならあのスーパー等は蹌踉く fact5: 何かは急発進する fact6: 「「由々しい」ということは確かである」ものがあるとするとその消費者相談は急発進しない fact7: もしある物が接地するとしたら御労しい fact8: もしも「由々しい」物があるとすればその消費者相談は急発進するということはないが行き易い fact9: その消費者相談は傷付き易くて味気無い fact10: 「蹌踉くししかも傷付き易い」ものがあるとするとその消費者相談は急発進する fact11: もしも「とあるものは傷付き易い」ということは真実ならばそれは御労しい fact12: その消費者相談は味気無い fact13: 仮になにがしかのものが味気無くて蹌踉くならばあの消費者相談は行き易い
fact2 & fact8 -> int1: その消費者相談は急発進するということはないが行き易い; int1 -> int2: その消費者相談は行き易い; fact9 -> int3: その消費者相談は傷付き易い; fact11 -> int4: もしその消費者相談が傷付き易いとすれば御労しい; int3 & int4 -> int5: その消費者相談は御労しい; int2 & int5 -> int6: その消費者相談は行き易くて御労しい; int6 -> int7: 「行き易くて御労しい」物はある; int7 & fact4 -> int8: あのスーパー等は蹌踉く; int8 -> hypothesis;
$facts$ = fact1: あのスーパー等は形局だ fact2: 「なにがしかの物は由々しい」ということは成り立つ fact3: 「「蹌踉く」ということは成り立つ」物はある fact4: もし仮になにがしかの物が行き易いししかも御労しいならあのスーパー等は蹌踉く fact5: 何かは急発進する fact6: 「「由々しい」ということは確かである」ものがあるとするとその消費者相談は急発進しない fact7: もしある物が接地するとしたら御労しい fact8: もしも「由々しい」物があるとすればその消費者相談は急発進するということはないが行き易い fact9: その消費者相談は傷付き易くて味気無い fact10: 「蹌踉くししかも傷付き易い」ものがあるとするとその消費者相談は急発進する fact11: もしも「とあるものは傷付き易い」ということは真実ならばそれは御労しい fact12: その消費者相談は味気無い fact13: 仮になにがしかのものが味気無くて蹌踉くならばあの消費者相談は行き易い ; $hypothesis$ = あのスーパー等は蹌踉くかまたは接地するかまたは両方である ; $proof$ = 
fact2 & fact8 -> int1: その消費者相談は急発進するということはないが行き易い; int1 -> int2: その消費者相談は行き易い; fact9 -> int3: その消費者相談は傷付き易い; fact11 -> int4: もしその消費者相談が傷付き易いとすれば御労しい; int3 & int4 -> int5: その消費者相談は御労しい; int2 & int5 -> int6: その消費者相談は行き易くて御労しい; int6 -> int7: 「行き易くて御労しい」物はある; int7 & fact4 -> int8: あのスーパー等は蹌踉く; int8 -> hypothesis; __PROVED__
事実1: あのスーパー等は形局だ
事実2: 「なにがしかの物は由々しい」ということは成り立つ
事実3: 「「蹌踉く」ということは成り立つ」物はある
事実4: もし仮になにがしかの物が行き易いししかも御労しいならあのスーパー等は蹌踉く
事実5: 何かは急発進する
事実6: 「「由々しい」ということは確かである」ものがあるとするとその消費者相談は急発進しない
事実7: もしある物が接地するとしたら御労しい
事実8: もしも「由々しい」物があるとすればその消費者相談は急発進するということはないが行き易い
事実9: その消費者相談は傷付き易くて味気無い
事実10: 「蹌踉くししかも傷付き易い」ものがあるとするとその消費者相談は急発進する
事実11: もしも「とあるものは傷付き易い」ということは真実ならばそれは御労しい
事実12: その消費者相談は味気無い
事実13: 仮になにがしかのものが味気無くて蹌踉くならばあの消費者相談は行き易い

仮説: あのスーパー等は蹌踉くかまたは接地するかまたは両方である
1. 事実2と事実8から、推論1: "その消費者相談は急発進するということはないが行き易い"が導かれる
2. 推論1から、推論2: "その消費者相談は行き易い"が導かれる
3. 事実9から、推論3: "その消費者相談は傷付き易い"が導かれる
4. 事実11から、推論4: "もしその消費者相談が傷付き易いとすれば御労しい"が導かれる
5. 推論3と推論4から、推論5: "その消費者相談は御労しい"が導かれる
6. 推論2と推論5から、推論6: "その消費者相談は行き易くて御労しい"が導かれる
7. 推論6から、推論7: "「行き易くて御労しい」物はある"が導かれる
8. 推論7と事実4から、推論8: "あのスーパー等は蹌踉く"が導かれる
9. 推論8から、仮説が導かれる

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