Charlie is big. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Erin is big. Erin is blue. Erin is quiet. Erin is young. Gary is blue. Gary is furry. Gary is quiet. Gary is smart. If something is furry then it is smart. Young, smart things are rough. Young things are furry.
Erin is not smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple7) -> rule3))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5 OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple3) -> rule1)) -> rule2) OR ((triple7 ((((triple7) -> rule3)) -> rule1)) -> rule2))] Charlie is smart.[(triple6 OR ((triple3) -> rule1) OR ((((triple7) -> rule3)) -> rule1))] Charlie is young.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is quiet.[(triple10)] Erin is young.[(triple11)] Gary is blue.[(triple12)] Gary is furry.[(triple13)] Gary is quiet.[(triple14)] Gary is smart.[(triple15 OR ((triple13) -> rule1))] @1: Erin is furry.[(((triple11) -> rule3))] @2: Erin is smart.[(((((triple11) -> rule3)) -> rule1))] @3: Erin is rough.[(((triple11 ((((triple11) -> rule3)) -> rule1)) -> rule2))]