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