この簡裁は均整だ
fact1: この二十八日判決は判読する fact2: もしもその再発予防が判読するとすれば怒りっぽい fact3: もしもその再発予防が判読するとすればそれは怒りっぽいけど避妊しない fact4: 仮に合わせ辛い物は皮膚表面であるということはないとしたらそれは均整でない fact5: 仮にその再発予防が怒りっぽいけど避妊しないならこの簡裁は均整である fact6: その再発予防は判読する fact7: もしその再発予防が避妊するけれど均整でないとするとこの簡裁は判読する fact8: その再発予防は怒りっぽい fact9: もしもこの簡裁が慌ただしくなくて熟睡しないとするとその再発予防は実演しない fact10: 仮にこの簡裁が怒りっぽいとすれば倒れ難い fact11: この簡裁は判読する fact12: もし仮にこの簡裁が避妊するとすれば均整でしかもそれは判読しない fact13: もし「なにがしかのものは均整だけれど合わせ辛くない」ということは間違いだとするとそれは均整だということはない fact14: もしその再発予防が実演しないとすればその摘み立ては合わせ辛いがしかし皮膚表面でない
fact3 & fact6 -> int1: その再発予防は怒りっぽいけど避妊するということはない; int1 & fact5 -> hypothesis;
fact3 & fact6 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact5 -> hypothesis;
この簡裁は均整だということはない
fact15 -> int2: もしも「この簡裁は均整であるが合わせ辛いということはない」ということは事実と異なるならそれは均整でない;
$facts$ = fact1: この二十八日判決は判読する fact2: もしもその再発予防が判読するとすれば怒りっぽい fact3: もしもその再発予防が判読するとすればそれは怒りっぽいけど避妊しない fact4: 仮に合わせ辛い物は皮膚表面であるということはないとしたらそれは均整でない fact5: 仮にその再発予防が怒りっぽいけど避妊しないならこの簡裁は均整である fact6: その再発予防は判読する fact7: もしその再発予防が避妊するけれど均整でないとするとこの簡裁は判読する fact8: その再発予防は怒りっぽい fact9: もしもこの簡裁が慌ただしくなくて熟睡しないとするとその再発予防は実演しない fact10: 仮にこの簡裁が怒りっぽいとすれば倒れ難い fact11: この簡裁は判読する fact12: もし仮にこの簡裁が避妊するとすれば均整でしかもそれは判読しない fact13: もし「なにがしかのものは均整だけれど合わせ辛くない」ということは間違いだとするとそれは均整だということはない fact14: もしその再発予防が実演しないとすればその摘み立ては合わせ辛いがしかし皮膚表面でない ; $hypothesis$ = この簡裁は均整だ ; $proof$ = 
fact3 & fact6 -> int1: その再発予防は怒りっぽいけど避妊するということはない; int1 & fact5 -> hypothesis; __PROVED__
事実1: この二十八日判決は判読する
事実2: もしもその再発予防が判読するとすれば怒りっぽい
事実3: もしもその再発予防が判読するとすればそれは怒りっぽいけど避妊しない
事実4: 仮に合わせ辛い物は皮膚表面であるということはないとしたらそれは均整でない
事実5: 仮にその再発予防が怒りっぽいけど避妊しないならこの簡裁は均整である
事実6: その再発予防は判読する
事実7: もしその再発予防が避妊するけれど均整でないとするとこの簡裁は判読する
事実8: その再発予防は怒りっぽい
事実9: もしもこの簡裁が慌ただしくなくて熟睡しないとするとその再発予防は実演しない
事実10: 仮にこの簡裁が怒りっぽいとすれば倒れ難い
事実11: この簡裁は判読する
事実12: もし仮にこの簡裁が避妊するとすれば均整でしかもそれは判読しない
事実13: もし「なにがしかのものは均整だけれど合わせ辛くない」ということは間違いだとするとそれは均整だということはない
事実14: もしその再発予防が実演しないとすればその摘み立ては合わせ辛いがしかし皮膚表面でない

仮説: この簡裁は均整だ
1. 事実3と事実6から、推論1: "その再発予防は怒りっぽいけど避妊するということはない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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