この初期条件は鉄文化であるということはない
fact1: この初期条件は隣り合う fact2: もし仮にこの初期条件は隣り合えば「それは行動内容である」ということは正しい fact3: この初期条件は四発目である fact4: 仮になんらかのものが相談致すしそれにそれは身体化するとすれば「それは目新しくない」ということは成り立つ fact5: もし仮に行動内容が弁解がましいならば鉄文化でない fact6: もしも何かは見違えるしまた北京官話であるとすれば発揮し易くない fact7: この初期条件はレファレンス欄である fact8: もしその精神不安が信奉するとするとそれは御代わりする fact9: 「この初期条件は便秘する」ということは正しい fact10: もし仮にこの初期条件が動き易いとしたら弁解がましい fact11: あのビタミンＤ三代謝産物は弁解がましい fact12: この初期条件は動き易い fact13: もしその虫食いが全面降伏すればそれは拡大・発展する
fact10 & fact12 -> int1: 「この初期条件は弁解がましい」ということは間違いでない; fact2 & fact1 -> int2: この初期条件は行動内容である; int1 & int2 -> int3: この初期条件は行動内容であるししかも弁解がましい; fact5 -> int4: 仮にこの初期条件が行動内容だし弁解がましいとすれば鉄文化であるということはない; int3 & int4 -> hypothesis;
fact10 & fact12 -> int1: {B}{a}; fact2 & fact1 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); fact5 -> int4: ({C}{a} & {B}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: この初期条件は隣り合う fact2: もし仮にこの初期条件は隣り合えば「それは行動内容である」ということは正しい fact3: この初期条件は四発目である fact4: 仮になんらかのものが相談致すしそれにそれは身体化するとすれば「それは目新しくない」ということは成り立つ fact5: もし仮に行動内容が弁解がましいならば鉄文化でない fact6: もしも何かは見違えるしまた北京官話であるとすれば発揮し易くない fact7: この初期条件はレファレンス欄である fact8: もしその精神不安が信奉するとするとそれは御代わりする fact9: 「この初期条件は便秘する」ということは正しい fact10: もし仮にこの初期条件が動き易いとしたら弁解がましい fact11: あのビタミンＤ三代謝産物は弁解がましい fact12: この初期条件は動き易い fact13: もしその虫食いが全面降伏すればそれは拡大・発展する ; $hypothesis$ = この初期条件は鉄文化であるということはない ; $proof$ = 
fact10 & fact12 -> int1: 「この初期条件は弁解がましい」ということは間違いでない; fact2 & fact1 -> int2: この初期条件は行動内容である; int1 & int2 -> int3: この初期条件は行動内容であるししかも弁解がましい; fact5 -> int4: 仮にこの初期条件が行動内容だし弁解がましいとすれば鉄文化であるということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: この初期条件は隣り合う
事実2: もし仮にこの初期条件は隣り合えば「それは行動内容である」ということは正しい
事実3: この初期条件は四発目である
事実4: 仮になんらかのものが相談致すしそれにそれは身体化するとすれば「それは目新しくない」ということは成り立つ
事実5: もし仮に行動内容が弁解がましいならば鉄文化でない
事実6: もしも何かは見違えるしまた北京官話であるとすれば発揮し易くない
事実7: この初期条件はレファレンス欄である
事実8: もしその精神不安が信奉するとするとそれは御代わりする
事実9: 「この初期条件は便秘する」ということは正しい
事実10: もし仮にこの初期条件が動き易いとしたら弁解がましい
事実11: あのビタミンＤ三代謝産物は弁解がましい
事実12: この初期条件は動き易い
事実13: もしその虫食いが全面降伏すればそれは拡大・発展する

仮説: この初期条件は鉄文化であるということはない
1. 事実10と事実12から、推論1: "「この初期条件は弁解がましい」ということは間違いでない"が導かれる
2. 事実2と事実1から、推論2: "この初期条件は行動内容である"が導かれる
3. 推論1と推論2から、推論3: "この初期条件は行動内容であるししかも弁解がましい"が導かれる
4. 事実5から、推論4: "仮にこの初期条件が行動内容だし弁解がましいとすれば鉄文化であるということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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