Anne is blue. Bob is green. Charlie is big. Charlie is blue. Charlie is green. Charlie is young. Erin is green. All blue things are rough. Big things are furry. Young, green things are smart. If something is big and rough then it is green. Furry, big things are young. All furry things are rough. All blue things are rough. If something is green and blue then it is rough.
Erin is blue.
@0: Anne is blue.[(triple1)] Bob is green.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5 OR ((triple3 ((triple4) -> rule1)) -> rule4) OR ((triple3 ((triple4) -> rule7)) -> rule4) OR ((triple3 ((((triple3) -> rule2)) -> rule6)) -> rule4))] Charlie is young.[(triple6 OR ((((triple3) -> rule2) triple3) -> rule5))] Erin is green.[(triple7)] @1: Anne is rough.[(((triple1) -> rule1) OR ((triple1) -> rule7))] Charlie is furry.[(((triple3) -> rule2))] Charlie is rough.[(((triple4) -> rule1) OR ((triple4) -> rule7) OR ((triple5 triple4) -> rule8) OR ((((triple3) -> rule2)) -> rule6))] Charlie is smart.[(((triple6 triple5) -> rule3) OR ((triple6 ((triple3 ((triple4) -> rule1)) -> rule4)) -> rule3) OR ((triple6 ((triple3 ((triple4) -> rule7)) -> rule4)) -> rule3) OR ((((((triple3) -> rule2) triple3) -> rule5) triple5) -> rule3) OR ((((((triple3) -> rule2) triple3) -> rule5) ((triple3 ((triple4) -> rule1)) -> rule4)) -> rule3) OR ((((((triple3) -> rule2) triple3) -> rule5) ((triple3 ((triple4) -> rule7)) -> rule4)) -> rule3) OR ((triple6 ((triple3 ((((triple3) -> rule2)) -> rule6)) -> rule4)) -> rule3) OR ((((((triple3) -> rule2) triple3) -> rule5) ((triple3 ((((triple3) -> rule2)) -> rule6)) -> rule4)) -> rule3))]