Anne is cold. Anne is kind. Anne is round. Fiona is not rough. Fiona is not round. Gary is kind. Gary is young. If someone is kind then they are smart. If someone is rough and not kind then they are smart. If someone is green and cold then they are young. All smart people are green. Young, kind people are cold. If Fiona is not smart then Fiona is round.
Fiona is kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Fiona is not rough.[(triple4)] Fiona is not round.[(triple5)] Gary is kind.[(triple6)] Gary is young.[(triple7)] @1: Anne is smart.[(((triple2) -> rule1))] Gary is cold.[(((triple7 triple6) -> rule5))] Gary is smart.[(((triple6) -> rule1))] @2: Anne is green.[(((((triple2) -> rule1)) -> rule4))] Gary is green.[(((((triple6) -> rule1)) -> rule4))] @3: Anne is young.[(((((((triple2) -> rule1)) -> rule4) triple1) -> rule3))]