Fiona is big. Fiona is cold. Fiona is red. Fiona is smart. Fiona is white. Gary is big. Gary is cold. Gary is quiet. Harry is big. Harry is quiet. If something is nice then it is quiet. If something is quiet and cold then it is red. Red, cold things are nice.
Gary is not red.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is red.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is quiet.[(triple8)] Harry is big.[(triple9)] Harry is quiet.[(triple10)] @1: Fiona is nice.[(((triple3 triple2) -> rule3))] Gary is red.[(((triple8 triple7) -> rule2))] @2: Fiona is quiet.[(((((triple3 triple2) -> rule3)) -> rule1))] Gary is nice.[(((((triple8 triple7) -> rule2) triple7) -> rule3))]