Dave is big. Dave is blue. Dave is furry. Dave is nice. Dave is rough. Gary is big. Gary is blue. Gary is furry. Gary is rough. Gary is smart. All blue people are nice. Young people are nice. All smart people are nice. Young people are blue. Young, smart people are rough. If someone is rough and blue then they are young.
Dave is nice.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4 OR ((triple2) -> rule1) OR ((((triple5 triple2) -> rule6)) -> rule2))] Dave is rough.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Dave is young.[(((triple5 triple2) -> rule6))] Gary is nice.[(((triple10) -> rule3) OR ((triple7) -> rule1) OR ((((triple9 triple7) -> rule6)) -> rule2))] Gary is young.[(((triple9 triple7) -> rule6))]