Charlie is green. Charlie is round. Charlie is young. Dave is not big. Dave is green. Dave is not nice. Dave is not round. Dave is smart. Dave is young. Gary is big. Gary is not furry. Gary is green. Gary is not nice. Gary is not round. Gary is young. If something is green then it is young. Young things are smart. If something is big and not green then it is round.
Charlie is not big.
@0: Charlie is green.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3 OR ((triple1) -> rule1))] Dave is green.[(triple5)] Dave is not big.[(triple4)] Dave is not nice.[(triple6)] Dave is not round.[(triple7)] Dave is smart.[(triple8 OR ((triple9) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Dave is young.[(triple9 OR ((triple5) -> rule1))] Gary is big.[(triple10)] Gary is green.[(triple12)] Gary is not furry.[(triple11)] Gary is not nice.[(triple13)] Gary is not round.[(triple14)] Gary is young.[(triple15 OR ((triple12) -> rule1))] @1: Charlie is smart.[(((triple3) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Gary is smart.[(((triple15) -> rule2) OR ((((triple12) -> rule1)) -> rule2))]