この銘文は戦慄する
fact1: もしあの食用黄色がちっちゃくないかもしくは救い難くないか両方であるならばその弁甲材は戦慄する fact2: 仮に「住宅団地だけれどソフトボール大会でない」ものがあればこの連結事業年度開始は救い難い fact3: その乳酸飲料は住宅団地であるがソフトボール大会でない fact4: もしこの連結事業年度開始が救い難いとすればあの食用黄色はちっちゃくないかそれは救い難くない fact5: もし仮に「その弁甲材は戦慄する」ということは確かだとすればこの銘文は戦慄するけど鑑賞し易くない fact6: 仮に「この連結事業年度開始はちっちゃいし救い難い」ということは成り立たないとすると救い難くない fact7: もし住宅団地はソフトボール大会であるとすると戦慄するということはない fact8: もしもその乳酸飲料がソフトボール大会だとするとその弁甲材はソフトボール大会である一方で住宅団地でない fact9: もし仮に何かは住宅団地だしソフトボール大会であるならばあの連結事業年度開始は救い難い
fact3 -> int1: ある物は住宅団地だけれどソフトボール大会だということはない; int1 & fact2 -> int2: この連結事業年度開始は救い難い; int2 & fact4 -> int3: あの食用黄色はちっちゃくないかもしくはそれは救い難くないかもしくは両方だ; int3 & fact1 -> int4: その弁甲材は戦慄する; int4 & fact5 -> int5: この銘文は戦慄する一方でそれは鑑賞し易くない; int5 -> hypothesis;
この銘文は戦慄しない
fact11 -> int6: もしこの銘文が住宅団地でまたソフトボール大会であるとしたらそれは戦慄するということはない;
$facts$ = fact1: もしあの食用黄色がちっちゃくないかもしくは救い難くないか両方であるならばその弁甲材は戦慄する fact2: 仮に「住宅団地だけれどソフトボール大会でない」ものがあればこの連結事業年度開始は救い難い fact3: その乳酸飲料は住宅団地であるがソフトボール大会でない fact4: もしこの連結事業年度開始が救い難いとすればあの食用黄色はちっちゃくないかそれは救い難くない fact5: もし仮に「その弁甲材は戦慄する」ということは確かだとすればこの銘文は戦慄するけど鑑賞し易くない fact6: 仮に「この連結事業年度開始はちっちゃいし救い難い」ということは成り立たないとすると救い難くない fact7: もし住宅団地はソフトボール大会であるとすると戦慄するということはない fact8: もしもその乳酸飲料がソフトボール大会だとするとその弁甲材はソフトボール大会である一方で住宅団地でない fact9: もし仮に何かは住宅団地だしソフトボール大会であるならばあの連結事業年度開始は救い難い ; $hypothesis$ = この銘文は戦慄する ; $proof$ = 
fact3 -> int1: ある物は住宅団地だけれどソフトボール大会だということはない; int1 & fact2 -> int2: この連結事業年度開始は救い難い; int2 & fact4 -> int3: あの食用黄色はちっちゃくないかもしくはそれは救い難くないかもしくは両方だ; int3 & fact1 -> int4: その弁甲材は戦慄する; int4 & fact5 -> int5: この銘文は戦慄する一方でそれは鑑賞し易くない; int5 -> hypothesis; __PROVED__
事実1: もしあの食用黄色がちっちゃくないかもしくは救い難くないか両方であるならばその弁甲材は戦慄する
事実2: 仮に「住宅団地だけれどソフトボール大会でない」ものがあればこの連結事業年度開始は救い難い
事実3: その乳酸飲料は住宅団地であるがソフトボール大会でない
事実4: もしこの連結事業年度開始が救い難いとすればあの食用黄色はちっちゃくないかそれは救い難くない
事実5: もし仮に「その弁甲材は戦慄する」ということは確かだとすればこの銘文は戦慄するけど鑑賞し易くない
事実6: 仮に「この連結事業年度開始はちっちゃいし救い難い」ということは成り立たないとすると救い難くない
事実7: もし住宅団地はソフトボール大会であるとすると戦慄するということはない
事実8: もしもその乳酸飲料がソフトボール大会だとするとその弁甲材はソフトボール大会である一方で住宅団地でない
事実9: もし仮に何かは住宅団地だしソフトボール大会であるならばあの連結事業年度開始は救い難い

仮説: この銘文は戦慄する
1. 事実3から、推論1: "ある物は住宅団地だけれどソフトボール大会だということはない"が導かれる
2. 推論1と事実2から、推論2: "この連結事業年度開始は救い難い"が導かれる
3. 推論2と事実4から、推論3: "あの食用黄色はちっちゃくないかもしくはそれは救い難くないかもしくは両方だ"が導かれる
4. 推論3と事実1から、推論4: "その弁甲材は戦慄する"が導かれる
5. 推論4と事実5から、推論5: "この銘文は戦慄する一方でそれは鑑賞し易くない"が導かれる
6. 推論5から、仮説が導かれる

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