「幼しならば手加減しない」物はある
fact1: 犯し易いかもしくは蒸し暑くない物は手加減しない fact2: もしもあのセダンが阿呆らしいとしたら手加減しない fact3: 「あのゴールデンレトリバーは幼し」ということは事実だ fact4: 犯し易いかまたは蒸し暑くないかまたは両方であるものは手加減する fact5: もし仮にあのセダンが蒸し暑くないならばそれは手加減するということはない fact6: 仮にあのセダンが蒸し暑いかもしくは放浪しないとすれば失神する fact7: 仮にあのセダンが立憲政友会であるかまたはそれが支払い猶予だということはないなら幼しということはない fact8: もし「あのセダンは幼し」ということは成り立つとするとそれは犯し易いかそれは蒸し暑くないかあるいは両方ともだ fact9: もしあの当該元請け負い人がミステリ散歩だとしたら蒸し暑い
void -> assump1: 以下のように仮定する。あのセダンは幼し; fact8 & assump1 -> int1: あのセダンは犯し易いかそれは蒸し暑くない; fact1 -> int2: もし仮にあのセダンが犯し易いかまたは蒸し暑くないとしたら手加減するということはない; int1 & int2 -> int3: あのセダンは手加減しない; [assump1] & int3 -> int4: もしあのセダンが幼しとすれば手加減しない; int4 -> hypothesis;
$facts$ = fact1: 犯し易いかもしくは蒸し暑くない物は手加減しない fact2: もしもあのセダンが阿呆らしいとしたら手加減しない fact3: 「あのゴールデンレトリバーは幼し」ということは事実だ fact4: 犯し易いかまたは蒸し暑くないかまたは両方であるものは手加減する fact5: もし仮にあのセダンが蒸し暑くないならばそれは手加減するということはない fact6: 仮にあのセダンが蒸し暑いかもしくは放浪しないとすれば失神する fact7: 仮にあのセダンが立憲政友会であるかまたはそれが支払い猶予だということはないなら幼しということはない fact8: もし「あのセダンは幼し」ということは成り立つとするとそれは犯し易いかそれは蒸し暑くないかあるいは両方ともだ fact9: もしあの当該元請け負い人がミステリ散歩だとしたら蒸し暑い ; $hypothesis$ = 「幼しならば手加減しない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あのセダンは幼し; fact8 & assump1 -> int1: あのセダンは犯し易いかそれは蒸し暑くない; fact1 -> int2: もし仮にあのセダンが犯し易いかまたは蒸し暑くないとしたら手加減するということはない; int1 & int2 -> int3: あのセダンは手加減しない; [assump1] & int3 -> int4: もしあのセダンが幼しとすれば手加減しない; int4 -> hypothesis; __PROVED__
事実1: 犯し易いかもしくは蒸し暑くない物は手加減しない
事実2: もしもあのセダンが阿呆らしいとしたら手加減しない
事実3: 「あのゴールデンレトリバーは幼し」ということは事実だ
事実4: 犯し易いかまたは蒸し暑くないかまたは両方であるものは手加減する
事実5: もし仮にあのセダンが蒸し暑くないならばそれは手加減するということはない
事実6: 仮にあのセダンが蒸し暑いかもしくは放浪しないとすれば失神する
事実7: 仮にあのセダンが立憲政友会であるかまたはそれが支払い猶予だということはないなら幼しということはない
事実8: もし「あのセダンは幼し」ということは成り立つとするとそれは犯し易いかそれは蒸し暑くないかあるいは両方ともだ
事実9: もしあの当該元請け負い人がミステリ散歩だとしたら蒸し暑い

仮説: 「幼しならば手加減しない」物はある
1. 仮定1: 以下のように仮定する。あのセダンは幼し
2. 事実8と仮定1から、推論1: "あのセダンは犯し易いかそれは蒸し暑くない"が導かれる
3. 事実1から、推論2: "もし仮にあのセダンが犯し易いかまたは蒸し暑くないとしたら手加減するということはない"が導かれる
4. 推論1と推論2から、推論3: "あのセダンは手加減しない"が導かれる
5. [仮定1]と推論3から、推論4: "もしあのセダンが幼しとすれば手加減しない"が導かれる
6. 推論4から、仮説が導かれる

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