Anne is big. Anne is green. Anne is smart. Anne is young. Charlie is big. Charlie is green. Charlie is quiet. Charlie is young. Dave is green. Dave is kind. Dave is quiet. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is red. If Anne is big then Anne is smart. If something is big then it is young. If something is red then it is green.
Gary is not red.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule1))] Anne is young.[(triple4 OR ((triple1) -> rule2))] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] Charlie is young.[(triple8 OR ((triple5) -> rule2))] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11)] Gary is big.[(triple12)] Gary is green.[(triple13 OR ((triple16) -> rule3))] Gary is kind.[(triple14)] Gary is quiet.[(triple15)] Gary is red.[(triple16)] @1: Gary is young.[(((triple12) -> rule2))]