Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is young. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is young. If someone is red and cold then they are green. If someone is quiet then they are cold. All quiet, red people are kind.
Harry is not quiet.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Erin is young.[(triple5)] Harry is cold.[(triple6 OR ((triple9) -> rule2))] Harry is green.[(triple7 OR ((triple10 triple6) -> rule1) OR ((triple10 ((triple9) -> rule2)) -> rule1))] Harry is kind.[(triple8 OR ((triple9 triple10) -> rule3))] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Erin is cold.[(((triple3) -> rule2))]