Dave is cold. Dave is round. Dave is young. Erin is cold. Erin is round. Erin is young. Harry is big. Harry is cold. Harry is green. Harry is rough. Harry is round. Harry is young. If Dave is green and Dave is round then Dave is cold. If something is cold then it is rough. All furry things are young.
Harry is cold.
@0: Dave is cold.[(triple1)] Dave is round.[(triple2)] Dave is young.[(triple3)] Erin is cold.[(triple4)] Erin is round.[(triple5)] Erin is young.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10 OR ((triple8) -> rule2))] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Dave is rough.[(((triple1) -> rule2))] Erin is rough.[(((triple4) -> rule2))]