Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is rough. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is round. All nice things are blue. Round, rough things are blue. If something is quiet then it is rough. If Charlie is blue and Charlie is rough then Charlie is nice. If Erin is nice and Erin is quiet then Erin is blue. If something is rough then it is kind.
Charlie is not round.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule1))] Charlie is nice.[(triple2 OR ((triple1 triple4) -> rule4) OR ((triple1 ((triple3) -> rule3)) -> rule4))] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4 OR ((triple3) -> rule3))] Erin is blue.[(triple5 OR ((triple8) -> rule1) OR ((triple8 triple9) -> rule5) OR ((triple10 ((triple9) -> rule3)) -> rule2))] Erin is furry.[(triple6)] Erin is kind.[(triple7 OR ((((triple9) -> rule3)) -> rule6))] Erin is nice.[(triple8)] Erin is quiet.[(triple9)] Erin is round.[(triple10)] @1: Charlie is kind.[(((triple4) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] Erin is rough.[(((triple9) -> rule3))]