Dave is smart. Erin is kind. Fiona is not rough. Gary is smart. Smart things are cold. Cold, smart things are nice. Round things are nice. If Gary is round then Gary is kind. If something is kind then it is round. If something is nice then it is round. If something is round and rough then it is young. If Dave is smart and Dave is not kind then Dave is cold.
Fiona is kind.
@0: Dave is smart.[(triple1)] Erin is kind.[(triple2)] Fiona is not rough.[(triple3)] Gary is smart.[(triple4)] @1: Dave is cold.[(((triple1) -> rule1))] Erin is round.[(((triple2) -> rule5))] Gary is cold.[(((triple4) -> rule1))] @2: Dave is nice.[(((((triple1) -> rule1) triple1) -> rule2))] Erin is nice.[(((((triple2) -> rule5)) -> rule3))] Gary is nice.[(((((triple4) -> rule1) triple4) -> rule2))] @3: Dave is round.[(((((((triple1) -> rule1) triple1) -> rule2)) -> rule6))] Gary is round.[(((((((triple4) -> rule1) triple4) -> rule2)) -> rule6))] @4: Gary is kind.[(((((((((triple4) -> rule1) triple4) -> rule2)) -> rule6)) -> rule4))]