Anne is blue. Anne is cold. Anne is furry. Anne is young. Dave is blue. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Dave is young. Erin is cold. Erin is furry. Erin is round. Erin is smart. Erin is young. All cold, young things are blue. All blue things are young. If Dave is cold and Dave is blue then Dave is furry.
Dave is not round.
@0: Anne is blue.[(triple1 OR ((triple2 triple4) -> rule1))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule2))] Dave is blue.[(triple5 OR ((triple6 triple10) -> rule1))] Dave is cold.[(triple6)] Dave is furry.[(triple7 OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple6 triple10) -> rule1)) -> rule3))] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10 OR ((triple5) -> rule2))] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14)] Erin is young.[(triple15)] @1: Erin is blue.[(((triple11 triple15) -> rule1))]