Anne is blue. Anne is red. Anne is rough. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is young. Gary is kind. Gary is nice. Gary is rough. Gary is smart. Gary is young. If something is nice and red then it is young. Blue, rough things are nice. All rough, red things are young. Rough, blue things are young. If Erin is red and Erin is rough then Erin is nice. Young, blue things are smart. If Gary is young then Gary is rough. All kind things are young.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((triple4 triple8) -> rule2) OR ((triple7 triple8) -> rule5))] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9 OR ((triple10 triple4) -> rule6) OR ((((triple5) -> rule8) triple4) -> rule6) OR ((((triple6 triple7) -> rule1) triple4) -> rule6) OR ((((triple8 triple4) -> rule4) triple4) -> rule6) OR ((((triple8 triple7) -> rule3) triple4) -> rule6) OR ((((((triple4 triple8) -> rule2) triple7) -> rule1) triple4) -> rule6) OR ((((((triple7 triple8) -> rule5) triple7) -> rule1) triple4) -> rule6))] Erin is young.[(triple10 OR ((triple5) -> rule8) OR ((triple6 triple7) -> rule1) OR ((triple8 triple4) -> rule4) OR ((triple8 triple7) -> rule3) OR ((((triple4 triple8) -> rule2) triple7) -> rule1) OR ((((triple7 triple8) -> rule5) triple7) -> rule1))] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is rough.[(triple13 OR ((triple15) -> rule7) OR ((((triple11) -> rule8)) -> rule7))] Gary is smart.[(triple14)] Gary is young.[(triple15 OR ((triple11) -> rule8))] @1: Anne is nice.[(((triple1 triple3) -> rule2))] Anne is young.[(((triple3 triple1) -> rule4) OR ((triple3 triple2) -> rule3) OR ((((triple1 triple3) -> rule2) triple2) -> rule1))] @2: Anne is smart.[(((((triple3 triple1) -> rule4) triple1) -> rule6) OR ((((triple3 triple2) -> rule3) triple1) -> rule6) OR ((((((triple1 triple3) -> rule2) triple2) -> rule1) triple1) -> rule6))]