Charlie is big. Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Charlie is young. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is red. Erin is round. Erin is young. Gary is blue. Gary is furry. All red, blue things are big. If something is young and big then it is furry. If something is big and green then it is furry. If Gary is red and Gary is big then Gary is round. Furry things are red. All green things are big.
Erin is not big.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule6))] Charlie is furry.[(triple2 OR ((triple1 triple3) -> rule3) OR ((triple6 triple1) -> rule2) OR ((triple6 ((triple3) -> rule6)) -> rule2) OR ((((triple3) -> rule6) triple3) -> rule3))] Charlie is green.[(triple3)] Charlie is red.[(triple4 OR ((triple2) -> rule5) OR ((((triple1 triple3) -> rule3)) -> rule5) OR ((((triple6 triple1) -> rule2)) -> rule5) OR ((((triple6 ((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3)) -> rule5))] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Erin is big.[(triple7 OR ((triple10) -> rule6) OR ((triple11 triple8) -> rule1) OR ((((triple9) -> rule5) triple8) -> rule1))] Erin is blue.[(triple8)] Erin is furry.[(triple9 OR ((triple13 triple7) -> rule2) OR ((triple7 triple10) -> rule3) OR ((triple13 ((triple10) -> rule6)) -> rule2) OR ((triple13 ((triple11 triple8) -> rule1)) -> rule2) OR ((((triple10) -> rule6) triple10) -> rule3) OR ((((triple11 triple8) -> rule1) triple10) -> rule3))] Erin is green.[(triple10)] Erin is red.[(triple11 OR ((triple9) -> rule5) OR ((((triple13 triple7) -> rule2)) -> rule5) OR ((((triple7 triple10) -> rule3)) -> rule5) OR ((((triple13 ((triple10) -> rule6)) -> rule2)) -> rule5) OR ((((((triple10) -> rule6) triple10) -> rule3)) -> rule5))] Erin is round.[(triple12)] Erin is young.[(triple13)] Gary is blue.[(triple14)] Gary is furry.[(triple15)] @1: Gary is red.[(((triple15) -> rule5))] @2: Gary is big.[(((((triple15) -> rule5) triple14) -> rule1))] @3: Gary is round.[(((((triple15) -> rule5) ((((triple15) -> rule5) triple14) -> rule1)) -> rule4))]