Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Erin is green. Erin is kind. Erin is quiet. Erin is white. Erin is young. If Charlie is cold then Charlie is green. Young things are cold. Cold things are young. Red, cold things are white. If something is kind and young then it is green. All kind things are green.
Charlie is not quiet.
@0: Charlie is cold.[(triple1 OR ((triple7) -> rule2))] Charlie is green.[(triple2 OR ((triple1) -> rule1) OR ((triple3) -> rule6) OR ((triple3 triple7) -> rule5) OR ((((triple7) -> rule2)) -> rule1) OR ((triple3 ((triple1) -> rule3)) -> rule5))] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6 OR ((triple5 triple1) -> rule4) OR ((triple5 ((triple7) -> rule2)) -> rule4))] Charlie is young.[(triple7 OR ((triple1) -> rule3))] Erin is green.[(triple8 OR ((triple9) -> rule6) OR ((triple9 triple12) -> rule5))] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Erin is cold.[(((triple12) -> rule2))]