Charlie is rough. Fiona is nice. Harry is white. Nice, rough people are kind. If someone is rough then they are nice. Cold, white people are red. If someone is nice then they are kind. If Fiona is rough and Fiona is kind then Fiona is cold. Nice, rough people are white.
Fiona is quiet.
@0: Charlie is rough.[(triple1)] Fiona is nice.[(triple2)] Harry is white.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule2))] Fiona is kind.[(((triple2) -> rule4))] @2: Charlie is kind.[(((((triple1) -> rule2)) -> rule4) OR ((((triple1) -> rule2) triple1) -> rule1))] Charlie is white.[(((((triple1) -> rule2) triple1) -> rule6))]