Fiona is white. Gary is cold. Harry is rough. If something is cold then it is nice. All kind, red things are nice. All nice, smart things are white. All kind, red things are white. If Gary is rough then Gary is kind. All rough things are red. If something is nice then it is rough. If something is nice and not smart then it is rough.
Harry is not kind.
@0: Fiona is white.[(triple1)] Gary is cold.[(triple2)] Harry is rough.[(triple3)] @1: Gary is nice.[(((triple2) -> rule1))] Harry is red.[(((triple3) -> rule6))] @2: Gary is rough.[(((((triple2) -> rule1)) -> rule7))] @3: Gary is kind.[(((((((triple2) -> rule1)) -> rule7)) -> rule5))] Gary is red.[(((((((triple2) -> rule1)) -> rule7)) -> rule6))] @4: Gary is white.[(((((((((triple2) -> rule1)) -> rule7)) -> rule5) ((((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule4))]