この葛藤状態は仕方無い
fact1: もしもこの葛藤状態はうするなら「それは与太者である」ということは真実である fact2: そのバイタルサインは弾性係数である fact3: 仮に集まり易くないものは与太者だとすると「それは仕方無い」ということは確かである fact4: もし仮にこの恣意的差別が基台であるとするとこの葛藤状態はうする fact5: 仮にそのバイタルサインが弾性係数であるとすればこの葛藤状態は集まり易くなくてしかもそれは着せるということはない fact6: この恣意的差別は基台である
fact5 & fact2 -> int1: この葛藤状態は集まり易くないししかもそれは着せらない; int1 -> int2: 「この葛藤状態は集まり易くない」ということは誤りでない; fact4 & fact6 -> int3: この葛藤状態はうする; fact1 & int3 -> int4: この葛藤状態は与太者だ; int2 & int4 -> int5: この葛藤状態は集まり易くないけれど与太者である; fact3 -> int6: 仮にこの葛藤状態は集まり易くないけど与太者であるとすればそれは仕方無い; int5 & int6 -> hypothesis;
$facts$ = fact1: もしもこの葛藤状態はうするなら「それは与太者である」ということは真実である fact2: そのバイタルサインは弾性係数である fact3: 仮に集まり易くないものは与太者だとすると「それは仕方無い」ということは確かである fact4: もし仮にこの恣意的差別が基台であるとするとこの葛藤状態はうする fact5: 仮にそのバイタルサインが弾性係数であるとすればこの葛藤状態は集まり易くなくてしかもそれは着せるということはない fact6: この恣意的差別は基台である ; $hypothesis$ = この葛藤状態は仕方無い ; $proof$ = 
fact5 & fact2 -> int1: この葛藤状態は集まり易くないししかもそれは着せらない; int1 -> int2: 「この葛藤状態は集まり易くない」ということは誤りでない; fact4 & fact6 -> int3: この葛藤状態はうする; fact1 & int3 -> int4: この葛藤状態は与太者だ; int2 & int4 -> int5: この葛藤状態は集まり易くないけれど与太者である; fact3 -> int6: 仮にこの葛藤状態は集まり易くないけど与太者であるとすればそれは仕方無い; int5 & int6 -> hypothesis; __PROVED__
事実1: もしもこの葛藤状態はうするなら「それは与太者である」ということは真実である
事実2: そのバイタルサインは弾性係数である
事実3: 仮に集まり易くないものは与太者だとすると「それは仕方無い」ということは確かである
事実4: もし仮にこの恣意的差別が基台であるとするとこの葛藤状態はうする
事実5: 仮にそのバイタルサインが弾性係数であるとすればこの葛藤状態は集まり易くなくてしかもそれは着せるということはない
事実6: この恣意的差別は基台である

仮説: この葛藤状態は仕方無い
1. 事実5と事実2から、推論1: "この葛藤状態は集まり易くないししかもそれは着せらない"が導かれる
2. 推論1から、推論2: "「この葛藤状態は集まり易くない」ということは誤りでない"が導かれる
3. 事実4と事実6から、推論3: "この葛藤状態はうする"が導かれる
4. 事実1と推論3から、推論4: "この葛藤状態は与太者だ"が導かれる
5. 推論2と推論4から、推論5: "この葛藤状態は集まり易くないけれど与太者である"が導かれる
6. 事実3から、推論6: "仮にこの葛藤状態は集まり易くないけど与太者であるとすればそれは仕方無い"が導かれる
7. 推論5と推論6から、仮説が導かれる

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