Fiona is nice. Fiona is quiet. Fiona is rough. Harry is blue. Harry is green. Harry is not nice. Harry is quiet. If Harry is green then Harry is cold. If Harry is not nice and Harry is not green then Harry is cold. If someone is cold and rough then they are smart. If someone is quiet then they are smart. Green people are rough. If Fiona is quiet and Fiona is rough then Fiona is blue.
Fiona is cold.
@0: Fiona is nice.[(triple1)] Fiona is quiet.[(triple2)] Fiona is rough.[(triple3)] Harry is blue.[(triple4)] Harry is green.[(triple5)] Harry is not nice.[(triple6)] Harry is quiet.[(triple7)] @1: Fiona is blue.[(((triple2 triple3) -> rule6))] Fiona is smart.[(((triple2) -> rule4))] Harry is cold.[(((triple5) -> rule1))] Harry is rough.[(((triple5) -> rule5))] Harry is smart.[(((triple7) -> rule4) OR ((((triple5) -> rule1) ((triple5) -> rule5)) -> rule3))]