この山の手線は格好良い
fact1: もし「あの三分の一強は格好良くない」ということは真実ならこの山の手線は格好良くないかあるいは関与等であるかまたは両方ともである fact2: もしあの無類が関与等だということはないとするとあの三分の一強は喫煙する fact3: もし何らかのものが関与等でないかもしくはそれは気取らないかもしくは両方であるとしたらユーザ部門でない fact4: もしあの無類が愛情深いし喫煙するとしたらあの三分の一強は関与等でない fact5: あの無類はユーザ部門だ fact6: あの無類は愛情深い fact7: あの三分の一強が関与等でないならこの現前は関与等でないかもしくは気取らないかあるいは両方ともだ fact8: あの無類は喫煙する fact9: 仮にこの現前はユーザ部門でないなら「この山の手線は格好良い」ということは成り立つ
fact6 & fact8 -> int1: あの無類は愛情深いしさらに喫煙する; int1 & fact4 -> int2: あの三分の一強は関与等でない; int2 & fact7 -> int3: この現前は関与等でないかあるいはそれは気取らないかまたはどちらもだ; fact3 -> int4: もし仮にこの現前が関与等だということはないかもしくは気取らないかもしくは両方ともであるならそれはユーザ部門でない; int3 & int4 -> int5: この現前はユーザ部門でない; int5 & fact9 -> hypothesis;
$facts$ = fact1: もし「あの三分の一強は格好良くない」ということは真実ならこの山の手線は格好良くないかあるいは関与等であるかまたは両方ともである fact2: もしあの無類が関与等だということはないとするとあの三分の一強は喫煙する fact3: もし何らかのものが関与等でないかもしくはそれは気取らないかもしくは両方であるとしたらユーザ部門でない fact4: もしあの無類が愛情深いし喫煙するとしたらあの三分の一強は関与等でない fact5: あの無類はユーザ部門だ fact6: あの無類は愛情深い fact7: あの三分の一強が関与等でないならこの現前は関与等でないかもしくは気取らないかあるいは両方ともだ fact8: あの無類は喫煙する fact9: 仮にこの現前はユーザ部門でないなら「この山の手線は格好良い」ということは成り立つ ; $hypothesis$ = この山の手線は格好良い ; $proof$ = 
fact6 & fact8 -> int1: あの無類は愛情深いしさらに喫煙する; int1 & fact4 -> int2: あの三分の一強は関与等でない; int2 & fact7 -> int3: この現前は関与等でないかあるいはそれは気取らないかまたはどちらもだ; fact3 -> int4: もし仮にこの現前が関与等だということはないかもしくは気取らないかもしくは両方ともであるならそれはユーザ部門でない; int3 & int4 -> int5: この現前はユーザ部門でない; int5 & fact9 -> hypothesis; __PROVED__
事実1: もし「あの三分の一強は格好良くない」ということは真実ならこの山の手線は格好良くないかあるいは関与等であるかまたは両方ともである
事実2: もしあの無類が関与等だということはないとするとあの三分の一強は喫煙する
事実3: もし何らかのものが関与等でないかもしくはそれは気取らないかもしくは両方であるとしたらユーザ部門でない
事実4: もしあの無類が愛情深いし喫煙するとしたらあの三分の一強は関与等でない
事実5: あの無類はユーザ部門だ
事実6: あの無類は愛情深い
事実7: あの三分の一強が関与等でないならこの現前は関与等でないかもしくは気取らないかあるいは両方ともだ
事実8: あの無類は喫煙する
事実9: 仮にこの現前はユーザ部門でないなら「この山の手線は格好良い」ということは成り立つ

仮説: この山の手線は格好良い
1. 事実6と事実8から、推論1: "あの無類は愛情深いしさらに喫煙する"が導かれる
2. 推論1と事実4から、推論2: "あの三分の一強は関与等でない"が導かれる
3. 推論2と事実7から、推論3: "この現前は関与等でないかあるいはそれは気取らないかまたはどちらもだ"が導かれる
4. 事実3から、推論4: "もし仮にこの現前が関与等だということはないかもしくは気取らないかもしくは両方ともであるならそれはユーザ部門でない"が導かれる
5. 推論3と推論4から、推論5: "この現前はユーザ部門でない"が導かれる
6. 推論5と事実9から、仮説が導かれる

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