その他国人は羨ましくなくてしかも益無しということはない
fact1: 「その基本姿勢は起床するけどそれは穴開け加工でない」ということは成り立たない fact2: あの製作者は仕舞い易い fact3: 「あの製作者は特例施設介護サービス費であるが起床するということはない」ということは成り立つということはない fact4: あの製作者は特例施設介護サービス費でないならば「益無し」ということは事実だ fact5: この友達皆は羨ましくない fact6: 「その他国人は益無しけど特例施設介護サービス費であるということはない」ということは事実と異なる fact7: 仮にあの製作者は特例施設介護サービス費でないとすると羨ましい fact8: 「その他国人は起床するけれど益無しない」ということは間違っているならそれは羨ましい fact9: もし「あの製作者は特例施設介護サービス費だけれど起床しない」ということは嘘だとすると羨ましい fact10: あの製作者が羨ましいならその他国人は羨ましくないし加えてそれは益無しない fact11: もし仮にあの製作者が取っ払わないなら呷る fact12: その他国人は益無しないしさらに宗教観でない fact13: あの製作者は逓減率でない
fact9 & fact3 -> int1: あの製作者は羨ましい; int1 & fact10 -> hypothesis;
fact9 & fact3 -> int1: {B}{a}; int1 & fact10 -> hypothesis;
$facts$ = fact1: 「その基本姿勢は起床するけどそれは穴開け加工でない」ということは成り立たない fact2: あの製作者は仕舞い易い fact3: 「あの製作者は特例施設介護サービス費であるが起床するということはない」ということは成り立つということはない fact4: あの製作者は特例施設介護サービス費でないならば「益無し」ということは事実だ fact5: この友達皆は羨ましくない fact6: 「その他国人は益無しけど特例施設介護サービス費であるということはない」ということは事実と異なる fact7: 仮にあの製作者は特例施設介護サービス費でないとすると羨ましい fact8: 「その他国人は起床するけれど益無しない」ということは間違っているならそれは羨ましい fact9: もし「あの製作者は特例施設介護サービス費だけれど起床しない」ということは嘘だとすると羨ましい fact10: あの製作者が羨ましいならその他国人は羨ましくないし加えてそれは益無しない fact11: もし仮にあの製作者が取っ払わないなら呷る fact12: その他国人は益無しないしさらに宗教観でない fact13: あの製作者は逓減率でない ; $hypothesis$ = その他国人は羨ましくなくてしかも益無しということはない ; $proof$ = 
fact9 & fact3 -> int1: あの製作者は羨ましい; int1 & fact10 -> hypothesis; __PROVED__
事実1: 「その基本姿勢は起床するけどそれは穴開け加工でない」ということは成り立たない
事実2: あの製作者は仕舞い易い
事実3: 「あの製作者は特例施設介護サービス費であるが起床するということはない」ということは成り立つということはない
事実4: あの製作者は特例施設介護サービス費でないならば「益無し」ということは事実だ
事実5: この友達皆は羨ましくない
事実6: 「その他国人は益無しけど特例施設介護サービス費であるということはない」ということは事実と異なる
事実7: 仮にあの製作者は特例施設介護サービス費でないとすると羨ましい
事実8: 「その他国人は起床するけれど益無しない」ということは間違っているならそれは羨ましい
事実9: もし「あの製作者は特例施設介護サービス費だけれど起床しない」ということは嘘だとすると羨ましい
事実10: あの製作者が羨ましいならその他国人は羨ましくないし加えてそれは益無しない
事実11: もし仮にあの製作者が取っ払わないなら呷る
事実12: その他国人は益無しないしさらに宗教観でない
事実13: あの製作者は逓減率でない

仮説: その他国人は羨ましくなくてしかも益無しということはない
1. 事実9と事実3から、推論1: "あの製作者は羨ましい"が導かれる
2. 推論1と事実10から、仮説が導かれる

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