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