Anne is cold. Anne is furry. Dave is cold. Dave is furry. Dave is nice. Dave is rough. Fiona is kind. Fiona is smart. Gary is furry. Gary is kind. If someone is nice then they are furry. Nice people are smart. If Dave is furry then Dave is young.
Dave is nice.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4 OR ((triple5) -> rule1))] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Fiona is kind.[(triple7)] Fiona is smart.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] @1: Dave is smart.[(((triple5) -> rule2))] Dave is young.[(((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule3))]