Dave is cold. Dave is nice. Dave is rough. Dave is smart. Gary is blue. Gary is cold. Gary is round. If Dave is cold then Dave is nice. Cold things are blue. All round, rough things are cold. Blue, nice things are rough. If Dave is smart and Dave is kind then Dave is nice. All cold, kind things are nice.
Gary is not cold.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2 OR ((triple1) -> rule1))] Dave is rough.[(triple3 OR ((((triple1) -> rule2) triple2) -> rule4) OR ((((triple1) -> rule2) ((triple1) -> rule1)) -> rule4))] Dave is smart.[(triple4)] Gary is blue.[(triple5 OR ((triple6) -> rule2))] Gary is cold.[(triple6)] Gary is round.[(triple7)] @1: Dave is blue.[(((triple1) -> rule2))]