Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Erin is kind. Erin is quiet. Erin is red. Harry is blue. If Erin is blue and Erin is smart then Erin is nice. All quiet people are red. All blue people are kind. If Harry is cold and Harry is smart then Harry is nice. If Harry is cold and Harry is smart then Harry is kind. Nice, red people are quiet.
Harry is not kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple1) -> rule3))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9 OR ((triple8) -> rule2))] Harry is blue.[(triple10)] @1: Charlie is red.[(((triple5) -> rule2))] Harry is kind.[(((triple10) -> rule3))]