Anne is big. Anne is furry. Anne is kind. Anne is rough. Anne is smart. Anne is young. Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Dave is rough. Dave is smart. Dave is young. Erin is furry. Erin is smart. If Anne is big then Anne is young. If something is smart then it is furry.
Charlie is young.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule2))] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6 OR ((triple1) -> rule1))] Charlie is big.[(triple7)] Charlie is blue.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10)] Dave is rough.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13)] Erin is furry.[(triple14 OR ((triple15) -> rule2))] Erin is smart.[(triple15)] @1: Dave is furry.[(((triple12) -> rule2))]