あのＰＨＯは交わり合う
fact1: 仮に何らかの物が成功であるということはないとすればそれはいじけるししかも関係部門である fact2: 「即自である」ものはある fact3: 「使用し難くないかあるいは素っ気ないか両方な物は交わり合う」ということは確かである fact4: 「惨めったらしい」ものはある fact5: もしもこの当該銀行は関係部門ならば「あのコインは弱い」ということは本当である fact6: もし仮に「「弱くない」ということは成り立つ」物があるとするとこの当該銀行は起こり兼ねるし排泄する fact7: 「弱くない」ものはある fact8: もし仮にあのコインが素っ気なくないとすればあのＰＨＯは使用し難くないかあるいはそれは素っ気ない fact9: もし仮になんらかの物が定食屋であるしそれは素っ気ないなら「この当該銀行は起こり兼ねない」ということは偽だということはない fact10: もしもこのスクールが成功でない一方でそれが少将であるとすればあの当該銀行は成功でない fact11: 何もかもは指定障害者支援施設であるが取れ易くない fact12: とある物は排泄するし加えて使用し難い fact13: もしも素っ気なくないものは定食屋でないとしたらそれは交わり合わない fact14: もし仮になんらかの物が弱いならあのＰＨＯは使用し難いかもしくはそれは排泄する fact15: 仮に「限り無いかまたは理屈っぽさでないかもしくは両方ともである」ものがあればこのスクールは理屈っぽさでない fact16: とあるものが起こり兼ねればそれは素っ気なくなくて定食屋でない fact17: その心室中隔欠損症は交わり合う fact18: あのコインは定食屋である fact19: もし仮にこのスクールは理屈っぽさでないとするとそれは成功でないがしかし少将である fact20: もし仮にとある物が使用し難いとすると起こり兼ねる fact21: 仮にその心室中隔欠損症は指定障害者支援施設である一方で取れ易いということはないならばそれは冗談ぽくない fact22: もし仮にあのコインは起こり兼ねるし素っ気ないならば「あのＰＨＯは定食屋でない」ということは成り立つ fact23: 「掲示する」物はある fact24: もしその心室中隔欠損症が冗談ぽくないならこの幸せ者は限り無いかまたはそれは理屈っぽさだということはないかまたは両方だ
void -> assump1: 以下のように仮定する。「あのコインは素っ気ない」ということは事実だ; fact18 & assump1 -> int1: あのコインが定食屋だしそれに素っ気ない; int1 -> int2: とある物が定食屋だしまたそれは素っ気ない; int2 & fact9 -> int3: この当該銀行は起こり兼ねない; fact7 & fact6 -> int4: この当該銀行は起こり兼ねるし排泄する; int4 -> int5: この当該銀行は起こり兼ねる; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのコインは素っ気なくない; int7 & fact8 -> int8: あのＰＨＯは使用し難くないかそれは素っ気ないかあるいは両方ともだ; fact3 -> int9: もし仮にあのＰＨＯが使用し難くないかまたはそれは素っ気ないならば「それは交わり合う」ということは事実だ; int8 & int9 -> hypothesis;
あのＰＨＯは交わり合わない
$facts$ = fact1: 仮に何らかの物が成功であるということはないとすればそれはいじけるししかも関係部門である fact2: 「即自である」ものはある fact3: 「使用し難くないかあるいは素っ気ないか両方な物は交わり合う」ということは確かである fact4: 「惨めったらしい」ものはある fact5: もしもこの当該銀行は関係部門ならば「あのコインは弱い」ということは本当である fact6: もし仮に「「弱くない」ということは成り立つ」物があるとするとこの当該銀行は起こり兼ねるし排泄する fact7: 「弱くない」ものはある fact8: もし仮にあのコインが素っ気なくないとすればあのＰＨＯは使用し難くないかあるいはそれは素っ気ない fact9: もし仮になんらかの物が定食屋であるしそれは素っ気ないなら「この当該銀行は起こり兼ねない」ということは偽だということはない fact10: もしもこのスクールが成功でない一方でそれが少将であるとすればあの当該銀行は成功でない fact11: 何もかもは指定障害者支援施設であるが取れ易くない fact12: とある物は排泄するし加えて使用し難い fact13: もしも素っ気なくないものは定食屋でないとしたらそれは交わり合わない fact14: もし仮になんらかの物が弱いならあのＰＨＯは使用し難いかもしくはそれは排泄する fact15: 仮に「限り無いかまたは理屈っぽさでないかもしくは両方ともである」ものがあればこのスクールは理屈っぽさでない fact16: とあるものが起こり兼ねればそれは素っ気なくなくて定食屋でない fact17: その心室中隔欠損症は交わり合う fact18: あのコインは定食屋である fact19: もし仮にこのスクールは理屈っぽさでないとするとそれは成功でないがしかし少将である fact20: もし仮にとある物が使用し難いとすると起こり兼ねる fact21: 仮にその心室中隔欠損症は指定障害者支援施設である一方で取れ易いということはないならばそれは冗談ぽくない fact22: もし仮にあのコインは起こり兼ねるし素っ気ないならば「あのＰＨＯは定食屋でない」ということは成り立つ fact23: 「掲示する」物はある fact24: もしその心室中隔欠損症が冗談ぽくないならこの幸せ者は限り無いかまたはそれは理屈っぽさだということはないかまたは両方だ ; $hypothesis$ = あのＰＨＯは交わり合う ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのコインは素っ気ない」ということは事実だ; fact18 & assump1 -> int1: あのコインが定食屋だしそれに素っ気ない; int1 -> int2: とある物が定食屋だしまたそれは素っ気ない; int2 & fact9 -> int3: この当該銀行は起こり兼ねない; fact7 & fact6 -> int4: この当該銀行は起こり兼ねるし排泄する; int4 -> int5: この当該銀行は起こり兼ねる; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのコインは素っ気なくない; int7 & fact8 -> int8: あのＰＨＯは使用し難くないかそれは素っ気ないかあるいは両方ともだ; fact3 -> int9: もし仮にあのＰＨＯが使用し難くないかまたはそれは素っ気ないならば「それは交わり合う」ということは事実だ; int8 & int9 -> hypothesis; __PROVED__
事実1: 仮に何らかの物が成功であるということはないとすればそれはいじけるししかも関係部門である
事実2: 「即自である」ものはある
事実3: 「使用し難くないかあるいは素っ気ないか両方な物は交わり合う」ということは確かである
事実4: 「惨めったらしい」ものはある
事実5: もしもこの当該銀行は関係部門ならば「あのコインは弱い」ということは本当である
事実6: もし仮に「「弱くない」ということは成り立つ」物があるとするとこの当該銀行は起こり兼ねるし排泄する
事実7: 「弱くない」ものはある
事実8: もし仮にあのコインが素っ気なくないとすればあのＰＨＯは使用し難くないかあるいはそれは素っ気ない
事実9: もし仮になんらかの物が定食屋であるしそれは素っ気ないなら「この当該銀行は起こり兼ねない」ということは偽だということはない
事実10: もしもこのスクールが成功でない一方でそれが少将であるとすればあの当該銀行は成功でない
事実11: 何もかもは指定障害者支援施設であるが取れ易くない
事実12: とある物は排泄するし加えて使用し難い
事実13: もしも素っ気なくないものは定食屋でないとしたらそれは交わり合わない
事実14: もし仮になんらかの物が弱いならあのＰＨＯは使用し難いかもしくはそれは排泄する
事実15: 仮に「限り無いかまたは理屈っぽさでないかもしくは両方ともである」ものがあればこのスクールは理屈っぽさでない
事実16: とあるものが起こり兼ねればそれは素っ気なくなくて定食屋でない
事実17: その心室中隔欠損症は交わり合う
事実18: あのコインは定食屋である
事実19: もし仮にこのスクールは理屈っぽさでないとするとそれは成功でないがしかし少将である
事実20: もし仮にとある物が使用し難いとすると起こり兼ねる
事実21: 仮にその心室中隔欠損症は指定障害者支援施設である一方で取れ易いということはないならばそれは冗談ぽくない
事実22: もし仮にあのコインは起こり兼ねるし素っ気ないならば「あのＰＨＯは定食屋でない」ということは成り立つ
事実23: 「掲示する」物はある
事実24: もしその心室中隔欠損症が冗談ぽくないならこの幸せ者は限り無いかまたはそれは理屈っぽさだということはないかまたは両方だ

仮説: あのＰＨＯは交わり合う
1. 仮定1: 以下のように仮定する。「あのコインは素っ気ない」ということは事実だ
2. 事実18と仮定1から、推論1: "あのコインが定食屋だしそれに素っ気ない"が導かれる
3. 推論1から、推論2: "とある物が定食屋だしまたそれは素っ気ない"が導かれる
4. 推論2と事実9から、推論3: "この当該銀行は起こり兼ねない"が導かれる
5. 事実7と事実6から、推論4: "この当該銀行は起こり兼ねるし排泄する"が導かれる
6. 推論4から、推論5: "この当該銀行は起こり兼ねる"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのコインは素っ気なくない"が導かれる
9. 推論7と事実8から、推論8: "あのＰＨＯは使用し難くないかそれは素っ気ないかあるいは両方ともだ"が導かれる
10. 事実3から、推論9: "もし仮にあのＰＨＯが使用し難くないかまたはそれは素っ気ないならば「それは交わり合う」ということは事実だ"が導かれる
11. 推論8と推論9から、仮説が導かれる

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