Charlie is nice. Charlie is quiet. Charlie is smart. Fiona is not cold. Fiona is nice. Gary is nice. Gary is not quiet. Harry is blue. Harry is cold. Harry is not nice. Harry is quiet. Harry is smart. If Gary is nice then Gary is cold. All quiet people are cold. All nice people are blue.
Fiona is quiet.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Fiona is nice.[(triple5)] Fiona is not cold.[(triple4)] Gary is nice.[(triple6)] Gary is not quiet.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple11) -> rule2))] Harry is not nice.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule3))] Charlie is cold.[(((triple2) -> rule2))] Fiona is blue.[(((triple5) -> rule3))] Gary is blue.[(((triple6) -> rule3))] Gary is cold.[(((triple6) -> rule1))]