そのマインド・コントロールはＳＥＣである
fact1: もし仮にそのマインド・コントロールはまどろっこしいとすると「その身分制は生易しくないし更に結合し易くない」ということは事実と異なる fact2: もし仮に「あの監査中はまどろっこしいかあるいは掛かり難くないかまたはどちらもである」ということは成り立たないならそのマインド・コントロールはまどろっこしい fact3: そのマインド・コントロールは脱走する fact4: 「なにかは生易しくなくて結合し易くない」ということは成り立たないならばそれはＳＥＣだ fact5: もしなにかは口付けるとすると「まどろっこしいかあるいはそれは掛かり難くないかもしくは両方ともである」ということは誤っている fact6: その九呂はＳＥＣだ fact7: このラジオ番組はＳＥＣである fact8: そのマインド・コントロールは能力アップである fact9: そのマインド・コントロールは灼熱する fact10: 「そのマインド・コントロールは拠出限度額だ」ということは確かだ fact11: もし生易しい物は結合し易くないとすればそれはＳＥＣでない fact12: 「その煤払いはＳＥＣだ」ということは事実だ fact13: 仮にあの監査中はまどろっこしくらないとするとそのマインド・コントロールは生易しいけれど結合し易くない fact14: このガバメントはＳＥＣである fact15: そのマインド・コントロールはＳＥＣだ
fact15 -> hypothesis;
その身分制はＳＥＣである
fact17 -> int1: もしも「その身分制は生易しくないしそれに結合し易くない」ということは成り立たないとするとそれはＳＥＣだ; fact18 -> int2: もしもあの監査中は口付けるとすれば「それはまどろっこしいかまたは掛かり難くないかあるいはどちらもだ」ということは間違いだ;
$facts$ = fact1: もし仮にそのマインド・コントロールはまどろっこしいとすると「その身分制は生易しくないし更に結合し易くない」ということは事実と異なる fact2: もし仮に「あの監査中はまどろっこしいかあるいは掛かり難くないかまたはどちらもである」ということは成り立たないならそのマインド・コントロールはまどろっこしい fact3: そのマインド・コントロールは脱走する fact4: 「なにかは生易しくなくて結合し易くない」ということは成り立たないならばそれはＳＥＣだ fact5: もしなにかは口付けるとすると「まどろっこしいかあるいはそれは掛かり難くないかもしくは両方ともである」ということは誤っている fact6: その九呂はＳＥＣだ fact7: このラジオ番組はＳＥＣである fact8: そのマインド・コントロールは能力アップである fact9: そのマインド・コントロールは灼熱する fact10: 「そのマインド・コントロールは拠出限度額だ」ということは確かだ fact11: もし生易しい物は結合し易くないとすればそれはＳＥＣでない fact12: 「その煤払いはＳＥＣだ」ということは事実だ fact13: 仮にあの監査中はまどろっこしくらないとするとそのマインド・コントロールは生易しいけれど結合し易くない fact14: このガバメントはＳＥＣである fact15: そのマインド・コントロールはＳＥＣだ ; $hypothesis$ = そのマインド・コントロールはＳＥＣである ; $proof$ = 
fact15 -> hypothesis; __PROVED__
事実1: もし仮にそのマインド・コントロールはまどろっこしいとすると「その身分制は生易しくないし更に結合し易くない」ということは事実と異なる
事実2: もし仮に「あの監査中はまどろっこしいかあるいは掛かり難くないかまたはどちらもである」ということは成り立たないならそのマインド・コントロールはまどろっこしい
事実3: そのマインド・コントロールは脱走する
事実4: 「なにかは生易しくなくて結合し易くない」ということは成り立たないならばそれはＳＥＣだ
事実5: もしなにかは口付けるとすると「まどろっこしいかあるいはそれは掛かり難くないかもしくは両方ともである」ということは誤っている
事実6: その九呂はＳＥＣだ
事実7: このラジオ番組はＳＥＣである
事実8: そのマインド・コントロールは能力アップである
事実9: そのマインド・コントロールは灼熱する
事実10: 「そのマインド・コントロールは拠出限度額だ」ということは確かだ
事実11: もし生易しい物は結合し易くないとすればそれはＳＥＣでない
事実12: 「その煤払いはＳＥＣだ」ということは事実だ
事実13: 仮にあの監査中はまどろっこしくらないとするとそのマインド・コントロールは生易しいけれど結合し易くない
事実14: このガバメントはＳＥＣである
事実15: そのマインド・コントロールはＳＥＣだ

仮説: そのマインド・コントロールはＳＥＣである
1. 事実15から、仮説が導かれる

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