Dave is big. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is rough. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is smart. Gary is young. All blue people are big.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4 OR ((triple5) -> rule1))] Erin is blue.[(triple5)] Erin is rough.[(triple6)] Gary is big.[(triple7 OR ((triple8) -> rule1))] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)]