Erin is blue. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. Gary is blue. Gary is rough. Gary is round. Harry is blue. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. If someone is quiet then they are blue. If someone is quiet then they are kind. If Harry is white then Harry is smart. Rough people are smart. Quiet, white people are round. All kind, round people are blue.
Erin is smart.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule1) OR ((triple2 triple5) -> rule6) OR ((triple2 ((triple3 triple7) -> rule5)) -> rule6) OR ((((triple3) -> rule2) triple5) -> rule6) OR ((((triple3) -> rule2) ((triple3 triple7) -> rule5)) -> rule6))] Erin is kind.[(triple2 OR ((triple3) -> rule2))] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple3 triple7) -> rule5))] Erin is smart.[(triple6 OR ((triple4) -> rule4))] Erin is white.[(triple7)] Gary is blue.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Harry is blue.[(triple11 OR ((triple13) -> rule1))] Harry is kind.[(triple12 OR ((triple13) -> rule2))] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15 OR ((triple14) -> rule4))] @1: Gary is smart.[(((triple9) -> rule4))]