Anne is nice. Anne is rough. Anne is smart. Anne is young. Charlie is not big. Charlie is furry. Charlie is not red. Charlie is smart. Charlie is young. Gary is big. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is not smart. Gary is young. If Anne is big and Anne is smart then Anne is red. Smart, rough people are big.
Gary is rough.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is furry.[(triple6)] Charlie is not big.[(triple5)] Charlie is not red.[(triple7)] Charlie is smart.[(triple8)] Charlie is young.[(triple9)] Gary is big.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple12)] Gary is not smart.[(triple15)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is young.[(triple16)] @1: Anne is big.[(((triple3 triple2) -> rule2))] @2: Anne is red.[(((((triple3 triple2) -> rule2) triple3) -> rule1))]