Erin is not nice. Erin is not red. Fiona is rough. Fiona is smart. Gary is cold. Gary is red. Gary is not rough. Gary is round. Harry is rough. Harry is smart. Smart things are cold. Cold, smart things are red. Red, cold things are kind.
Fiona is not red.
@0: Erin is not nice.[(triple1)] Erin is not red.[(triple2)] Fiona is rough.[(triple3)] Fiona is smart.[(triple4)] Gary is cold.[(triple5)] Gary is not rough.[(triple7)] Gary is red.[(triple6)] Gary is round.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is cold.[(((triple4) -> rule1))] Gary is kind.[(((triple6 triple5) -> rule3))] Harry is cold.[(((triple10) -> rule1))] @2: Fiona is red.[(((((triple4) -> rule1) triple4) -> rule2))] Harry is red.[(((((triple10) -> rule1) triple10) -> rule2))] @3: Fiona is kind.[(((((((triple4) -> rule1) triple4) -> rule2) ((triple4) -> rule1)) -> rule3))] Harry is kind.[(((((((triple10) -> rule1) triple10) -> rule2) ((triple10) -> rule1)) -> rule3))]