Dave is big. Dave is furry. Dave is nice. Dave is rough. Dave is round. Dave is white. Dave is young. Gary is furry. Gary is nice. Gary is rough. Gary is round. Gary is white. All nice, rough people are big. If someone is big and round then they are young.
Gary is not young.
@0: Dave is big.[(triple1 OR ((triple3 triple4) -> rule1))] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple1 triple5) -> rule2) OR ((((triple3 triple4) -> rule1) triple5) -> rule2))] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Gary is big.[(((triple9 triple10) -> rule1))] @2: Gary is young.[(((((triple9 triple10) -> rule1) triple11) -> rule2))]