あの対人面はがめつかないかもしくは投降しないかまたはどちらもだ
fact1: もしあの対人面は握り易くないとすると「この二の腕は投降する」ということは事実だ fact2: 仮に何らかのものが示唆すればそれは握り易くないし神々しかない fact3: この共通部はがめつい fact4: もしもこの二の腕ががめつかないとするとあの対人面はがめつい fact5: この二の腕は握り易い fact6: もしもあの対人面は握り易くないならば「この二の腕は握り易くないかまたは投降しない」ということは成り立たない fact7: あの対人面は神々しい fact8: この二の腕は神々しい fact9: もしもあの対人面は神々しかないなら「この二の腕は神々しかないかそれは投降しないかまたは両方である」ということは事実と異なる fact10: あの対人面はがめつい fact11: もし「この二の腕は握り易いしさらに神々しい」ということは成り立つならそれはがめついということはない fact12: 「あの対人面はがめつかないか神々しかない」ということは間違いだ fact13: 仮にこの二の腕はがめつかないとすれば「あの対人面はがめつかないか投降しないかもしくはどちらもである」ということは間違っている fact14: この二の腕は投降する
fact5 & fact8 -> int1: この二の腕が握り易いしその上それは神々しい; int1 & fact11 -> int2: この二の腕はがめついということはない; int2 & fact13 -> hypothesis;
あの対人面はがめつかないかそれは投降しないかもしくは両方である
fact15 -> int3: もし仮にあの対人面が示唆すればそれは握り易くないし加えて神々しかない;
$facts$ = fact1: もしあの対人面は握り易くないとすると「この二の腕は投降する」ということは事実だ fact2: 仮に何らかのものが示唆すればそれは握り易くないし神々しかない fact3: この共通部はがめつい fact4: もしもこの二の腕ががめつかないとするとあの対人面はがめつい fact5: この二の腕は握り易い fact6: もしもあの対人面は握り易くないならば「この二の腕は握り易くないかまたは投降しない」ということは成り立たない fact7: あの対人面は神々しい fact8: この二の腕は神々しい fact9: もしもあの対人面は神々しかないなら「この二の腕は神々しかないかそれは投降しないかまたは両方である」ということは事実と異なる fact10: あの対人面はがめつい fact11: もし「この二の腕は握り易いしさらに神々しい」ということは成り立つならそれはがめついということはない fact12: 「あの対人面はがめつかないか神々しかない」ということは間違いだ fact13: 仮にこの二の腕はがめつかないとすれば「あの対人面はがめつかないか投降しないかもしくはどちらもである」ということは間違っている fact14: この二の腕は投降する ; $hypothesis$ = あの対人面はがめつかないかもしくは投降しないかまたはどちらもだ ; $proof$ = 
fact5 & fact8 -> int1: この二の腕が握り易いしその上それは神々しい; int1 & fact11 -> int2: この二の腕はがめついということはない; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: もしあの対人面は握り易くないとすると「この二の腕は投降する」ということは事実だ
事実2: 仮に何らかのものが示唆すればそれは握り易くないし神々しかない
事実3: この共通部はがめつい
事実4: もしもこの二の腕ががめつかないとするとあの対人面はがめつい
事実5: この二の腕は握り易い
事実6: もしもあの対人面は握り易くないならば「この二の腕は握り易くないかまたは投降しない」ということは成り立たない
事実7: あの対人面は神々しい
事実8: この二の腕は神々しい
事実9: もしもあの対人面は神々しかないなら「この二の腕は神々しかないかそれは投降しないかまたは両方である」ということは事実と異なる
事実10: あの対人面はがめつい
事実11: もし「この二の腕は握り易いしさらに神々しい」ということは成り立つならそれはがめついということはない
事実12: 「あの対人面はがめつかないか神々しかない」ということは間違いだ
事実13: 仮にこの二の腕はがめつかないとすれば「あの対人面はがめつかないか投降しないかもしくはどちらもである」ということは間違っている
事実14: この二の腕は投降する

仮説: あの対人面はがめつかないかもしくは投降しないかまたはどちらもだ
1. 事実5と事実8から、推論1: "この二の腕が握り易いしその上それは神々しい"が導かれる
2. 推論1と事実11から、推論2: "この二の腕はがめついということはない"が導かれる
3. 推論2と事実13から、仮説が否定される

よって、仮説が否定されました。