あの手入力は噂話でないかまたはそれは寄り掛からない
fact1: もしもこの御篠が設計施工するとすればあの手入力は相手先だ fact2: 仮にこの御篠が寄り掛かるとしたらあの手入力は噂話でないかあるいは寄り掛かる fact3: そのスリム化は雷雲でない fact4: この御篠は相手先である fact5: もし仮にそのスリム化は捩じれれば「あの欄は常連らしいがしかし汚くない」ということは成り立たない fact6: もしそのスリム化が雷雲でないとすればそれは覚え込まないしかつ捩じれる fact7: もし「あの欄は常連らしくない」ということは真実であるとすれば「それは応じない一方で甚だし」ということは嘘だ fact8: もし仮にこの御篠が相手先だとすればそれは寄り掛かる fact9: もしも「あの欄は応じないが甚だし」ということは誤りだとすればそのＳＨＰは干渉し合う fact10: もしも「何かは常連らしい一方で汚くない」ということは成り立たないとすると常連らしいということはない fact11: もしもこの御篠が寄り掛かるとするとあの手入力は噂話でないかもしくは寄り掛からないかまたは両方ともだ
fact8 & fact4 -> int1: この御篠は寄り掛かる; int1 & fact11 -> hypothesis;
fact8 & fact4 -> int1: {B}{a}; int1 & fact11 -> hypothesis;
「あの手入力は噂話であるということはないかあるいはそれは寄り掛からない」ということは間違いだ
fact15 -> int2: 「あの欄は常連らしい一方で汚いということはない」ということは間違っているとすれば「常連らしくない」ということは確かだ; fact18 & fact16 -> int3: そのスリム化は覚え込まないが捩じれる; int3 -> int4: そのスリム化は捩じれる; fact17 & int4 -> int5: 「あの欄は常連らしい一方で汚くない」ということは成り立たない; int2 & int5 -> int6: あの欄は常連らしくない; fact14 & int6 -> int7: 「「あの欄は応じないけど甚だし」ということは成り立たない」ということは成り立つ; fact12 & int7 -> int8: そのＳＨＰは干渉し合う; int8 -> int9: なにかは干渉し合う;
$facts$ = fact1: もしもこの御篠が設計施工するとすればあの手入力は相手先だ fact2: 仮にこの御篠が寄り掛かるとしたらあの手入力は噂話でないかあるいは寄り掛かる fact3: そのスリム化は雷雲でない fact4: この御篠は相手先である fact5: もし仮にそのスリム化は捩じれれば「あの欄は常連らしいがしかし汚くない」ということは成り立たない fact6: もしそのスリム化が雷雲でないとすればそれは覚え込まないしかつ捩じれる fact7: もし「あの欄は常連らしくない」ということは真実であるとすれば「それは応じない一方で甚だし」ということは嘘だ fact8: もし仮にこの御篠が相手先だとすればそれは寄り掛かる fact9: もしも「あの欄は応じないが甚だし」ということは誤りだとすればそのＳＨＰは干渉し合う fact10: もしも「何かは常連らしい一方で汚くない」ということは成り立たないとすると常連らしいということはない fact11: もしもこの御篠が寄り掛かるとするとあの手入力は噂話でないかもしくは寄り掛からないかまたは両方ともだ ; $hypothesis$ = あの手入力は噂話でないかまたはそれは寄り掛からない ; $proof$ = 
fact8 & fact4 -> int1: この御篠は寄り掛かる; int1 & fact11 -> hypothesis; __PROVED__
事実1: もしもこの御篠が設計施工するとすればあの手入力は相手先だ
事実2: 仮にこの御篠が寄り掛かるとしたらあの手入力は噂話でないかあるいは寄り掛かる
事実3: そのスリム化は雷雲でない
事実4: この御篠は相手先である
事実5: もし仮にそのスリム化は捩じれれば「あの欄は常連らしいがしかし汚くない」ということは成り立たない
事実6: もしそのスリム化が雷雲でないとすればそれは覚え込まないしかつ捩じれる
事実7: もし「あの欄は常連らしくない」ということは真実であるとすれば「それは応じない一方で甚だし」ということは嘘だ
事実8: もし仮にこの御篠が相手先だとすればそれは寄り掛かる
事実9: もしも「あの欄は応じないが甚だし」ということは誤りだとすればそのＳＨＰは干渉し合う
事実10: もしも「何かは常連らしい一方で汚くない」ということは成り立たないとすると常連らしいということはない
事実11: もしもこの御篠が寄り掛かるとするとあの手入力は噂話でないかもしくは寄り掛からないかまたは両方ともだ

仮説: あの手入力は噂話でないかまたはそれは寄り掛からない
1. 事実8と事実4から、推論1: "この御篠は寄り掛かる"が導かれる
2. 推論1と事実11から、仮説が導かれる

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