Charlie is red. Erin is big. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is smart. Gary is furry. Gary is rough. Gary is round. If something is big then it is smart. Round things are big.
Gary is green.
@0: Charlie is red.[(triple1)] Erin is big.[(triple2 OR ((triple6) -> rule2))] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple2) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Gary is furry.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Gary is big.[(((triple10) -> rule2))] @2: Gary is smart.[(((((triple10) -> rule2)) -> rule1))]