この車体付属品は油っぽいということはない
fact1: そのＰＴＳは自宅生でない fact2: 油っぽいものは味わわすけれど自宅生でない fact3: 「油っぽいものは味わわす」ということは成り立つ fact4: 伍長は定義規定等であるけれどザＥでない fact5: もしこの車体付属品は自宅生でないとすれば「そのＰＴＳは油っぽいがしかし味わわさない」ということは正しくない fact6: この車体付属品が油っぽいとしたら味わわす fact7: 「もし仮に「そのＰＴＳは自宅生でない」ということは確かだとすれば「この車体付属品は味わわすが旧財閥系企業集団であるということはない」ということは成り立たない」ということは誤っていない fact8: そのＰＴＳは弱いけど島民でない fact9: もしこの車体付属品は自宅生でないとしたら油っぽい fact10: そのＰＴＳは味わわす fact11: 油っぽい物は味わわすけれど旧財閥系企業集団でない fact12: この車体付属品は味わわす fact13: もしもなにがしかのものが浅いとすれば耐震性だしさらにそれはバランス良くない fact14: もしなにかは私的病院でないとしたら自宅生でない fact15: あの次期以降は旧財閥系企業集団でない
fact11 -> int1: もしこの車体付属品が油っぽいならそれは味わわすし加えて旧財閥系企業集団でない; void -> assump1: 以下のように仮定する。この車体付属品は油っぽい; int1 & assump1 -> int2: この車体付属品は味わわすけど旧財閥系企業集団でない; fact1 & fact7 -> int3: 「この車体付属品は味わわす一方で旧財閥系企業集団でない」ということは嘘だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの次期以降が浅いならば耐震性であるけれどバランス良くない
fact16 -> hypothesis;
$facts$ = fact1: そのＰＴＳは自宅生でない fact2: 油っぽいものは味わわすけれど自宅生でない fact3: 「油っぽいものは味わわす」ということは成り立つ fact4: 伍長は定義規定等であるけれどザＥでない fact5: もしこの車体付属品は自宅生でないとすれば「そのＰＴＳは油っぽいがしかし味わわさない」ということは正しくない fact6: この車体付属品が油っぽいとしたら味わわす fact7: 「もし仮に「そのＰＴＳは自宅生でない」ということは確かだとすれば「この車体付属品は味わわすが旧財閥系企業集団であるということはない」ということは成り立たない」ということは誤っていない fact8: そのＰＴＳは弱いけど島民でない fact9: もしこの車体付属品は自宅生でないとしたら油っぽい fact10: そのＰＴＳは味わわす fact11: 油っぽい物は味わわすけれど旧財閥系企業集団でない fact12: この車体付属品は味わわす fact13: もしもなにがしかのものが浅いとすれば耐震性だしさらにそれはバランス良くない fact14: もしなにかは私的病院でないとしたら自宅生でない fact15: あの次期以降は旧財閥系企業集団でない ; $hypothesis$ = この車体付属品は油っぽいということはない ; $proof$ = 
fact11 -> int1: もしこの車体付属品が油っぽいならそれは味わわすし加えて旧財閥系企業集団でない; void -> assump1: 以下のように仮定する。この車体付属品は油っぽい; int1 & assump1 -> int2: この車体付属品は味わわすけど旧財閥系企業集団でない; fact1 & fact7 -> int3: 「この車体付属品は味わわす一方で旧財閥系企業集団でない」ということは嘘だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: そのＰＴＳは自宅生でない
事実2: 油っぽいものは味わわすけれど自宅生でない
事実3: 「油っぽいものは味わわす」ということは成り立つ
事実4: 伍長は定義規定等であるけれどザＥでない
事実5: もしこの車体付属品は自宅生でないとすれば「そのＰＴＳは油っぽいがしかし味わわさない」ということは正しくない
事実6: この車体付属品が油っぽいとしたら味わわす
事実7: 「もし仮に「そのＰＴＳは自宅生でない」ということは確かだとすれば「この車体付属品は味わわすが旧財閥系企業集団であるということはない」ということは成り立たない」ということは誤っていない
事実8: そのＰＴＳは弱いけど島民でない
事実9: もしこの車体付属品は自宅生でないとしたら油っぽい
事実10: そのＰＴＳは味わわす
事実11: 油っぽい物は味わわすけれど旧財閥系企業集団でない
事実12: この車体付属品は味わわす
事実13: もしもなにがしかのものが浅いとすれば耐震性だしさらにそれはバランス良くない
事実14: もしなにかは私的病院でないとしたら自宅生でない
事実15: あの次期以降は旧財閥系企業集団でない

仮説: この車体付属品は油っぽいということはない
1. 事実11から、推論1: "もしこの車体付属品が油っぽいならそれは味わわすし加えて旧財閥系企業集団でない"が導かれる
2. 仮定1: 以下のように仮定する。この車体付属品は油っぽい
3. 推論1と仮定1から、推論2: "この車体付属品は味わわすけど旧財閥系企業集団でない"が導かれる
4. 事実1と事実7から、推論3: "「この車体付属品は味わわす一方で旧財閥系企業集団でない」ということは嘘だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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