その目々は旧式化する
fact1: もしこの宴会が認知的社会化研究だということはないかあるいはそれが取り出さないかもしくは両方ともであるとするとその宿直室は単連結だ fact2: 美味しいものが口喧しくないならばステーショナリーギアである fact3: 仮にその虫共は訝しいとしたら「その法則概念は好ましない」ということは嘘でない fact4: 仮にその虫共が攻め落とすとしたらその法則概念は好ましない fact5: その均衡為替レートは済ま無い fact6: もしもなにがしかのものは認識すけれど出血し易くないとするとそれは折れ易い fact7: その目々は済ま無い fact8: 何もかもは株式会社化するしそれは罹患し易い fact9: 「その目々は済ま無いけど出払わない」ということは確かだ fact10: 「この妙齢は下向する一方で根気強いということはない」ということは誤りならその虫共は下向しない fact11: 仮になんらかのものは単連結でないならばそれは旧式化するけれど指導方法でない fact12: 仮に済ま無いものが出払わないとしたら旧式化する fact13: その法則概念が好ましないとしたらその宿直室は美味しいけれどそれは口喧しいということはない fact14: とあるものが罹患し易いとするとこの宴会は認知的社会化研究でないかもしくは取り出さないかあるいは両方ともだ fact15: その宿直室はステーショナリーギアならば「単連結でないかもしくは取り出さないかあるいはどちらもだ」ということは成り立たない fact16: もし仮になんらかのものが下向しないならそれは訝しいかもしくは攻め落とすかまたは両方である fact17: その目々が旧式化するがしかしそれは論文集でないとしたら攻め落とす fact18: もし仮にその目々が出払うがしかし皆様でないならばそれは素っ気ない fact19: 「この妙齢は下向する一方で根気強くない」ということは誤りである
fact12 -> int1: 仮にその目々は済ま無い一方で出払うということはないとすれば旧式化する; int1 & fact9 -> hypothesis;
その頓用は旧式化するけどそれは指導方法でない
fact21 -> int2: もし仮にその頓用が単連結でないならそれは旧式化するし指導方法でない;
$facts$ = fact1: もしこの宴会が認知的社会化研究だということはないかあるいはそれが取り出さないかもしくは両方ともであるとするとその宿直室は単連結だ fact2: 美味しいものが口喧しくないならばステーショナリーギアである fact3: 仮にその虫共は訝しいとしたら「その法則概念は好ましない」ということは嘘でない fact4: 仮にその虫共が攻め落とすとしたらその法則概念は好ましない fact5: その均衡為替レートは済ま無い fact6: もしもなにがしかのものは認識すけれど出血し易くないとするとそれは折れ易い fact7: その目々は済ま無い fact8: 何もかもは株式会社化するしそれは罹患し易い fact9: 「その目々は済ま無いけど出払わない」ということは確かだ fact10: 「この妙齢は下向する一方で根気強いということはない」ということは誤りならその虫共は下向しない fact11: 仮になんらかのものは単連結でないならばそれは旧式化するけれど指導方法でない fact12: 仮に済ま無いものが出払わないとしたら旧式化する fact13: その法則概念が好ましないとしたらその宿直室は美味しいけれどそれは口喧しいということはない fact14: とあるものが罹患し易いとするとこの宴会は認知的社会化研究でないかもしくは取り出さないかあるいは両方ともだ fact15: その宿直室はステーショナリーギアならば「単連結でないかもしくは取り出さないかあるいはどちらもだ」ということは成り立たない fact16: もし仮になんらかのものが下向しないならそれは訝しいかもしくは攻め落とすかまたは両方である fact17: その目々が旧式化するがしかしそれは論文集でないとしたら攻め落とす fact18: もし仮にその目々が出払うがしかし皆様でないならばそれは素っ気ない fact19: 「この妙齢は下向する一方で根気強くない」ということは誤りである ; $hypothesis$ = その目々は旧式化する ; $proof$ = 
fact12 -> int1: 仮にその目々は済ま無い一方で出払うということはないとすれば旧式化する; int1 & fact9 -> hypothesis; __PROVED__
事実1: もしこの宴会が認知的社会化研究だということはないかあるいはそれが取り出さないかもしくは両方ともであるとするとその宿直室は単連結だ
事実2: 美味しいものが口喧しくないならばステーショナリーギアである
事実3: 仮にその虫共は訝しいとしたら「その法則概念は好ましない」ということは嘘でない
事実4: 仮にその虫共が攻め落とすとしたらその法則概念は好ましない
事実5: その均衡為替レートは済ま無い
事実6: もしもなにがしかのものは認識すけれど出血し易くないとするとそれは折れ易い
事実7: その目々は済ま無い
事実8: 何もかもは株式会社化するしそれは罹患し易い
事実9: 「その目々は済ま無いけど出払わない」ということは確かだ
事実10: 「この妙齢は下向する一方で根気強いということはない」ということは誤りならその虫共は下向しない
事実11: 仮になんらかのものは単連結でないならばそれは旧式化するけれど指導方法でない
事実12: 仮に済ま無いものが出払わないとしたら旧式化する
事実13: その法則概念が好ましないとしたらその宿直室は美味しいけれどそれは口喧しいということはない
事実14: とあるものが罹患し易いとするとこの宴会は認知的社会化研究でないかもしくは取り出さないかあるいは両方ともだ
事実15: その宿直室はステーショナリーギアならば「単連結でないかもしくは取り出さないかあるいはどちらもだ」ということは成り立たない
事実16: もし仮になんらかのものが下向しないならそれは訝しいかもしくは攻め落とすかまたは両方である
事実17: その目々が旧式化するがしかしそれは論文集でないとしたら攻め落とす
事実18: もし仮にその目々が出払うがしかし皆様でないならばそれは素っ気ない
事実19: 「この妙齢は下向する一方で根気強くない」ということは誤りである

仮説: その目々は旧式化する
1. 事実12から、推論1: "仮にその目々は済ま無い一方で出払うということはないとすれば旧式化する"が導かれる
2. 推論1と事実9から、仮説が導かれる

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