Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is white. Dave is young. Gary is not big. Gary is furry. Gary is red. If Dave is furry and Dave is white then Dave is red. All young, green people are white.
Gary is furry.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5 OR ((triple2 triple6) -> rule1) OR ((triple2 ((triple7 triple3) -> rule2)) -> rule1))] Dave is white.[(triple6 OR ((triple7 triple3) -> rule2))] Dave is young.[(triple7)] Gary is furry.[(triple9)] Gary is not big.[(triple8)] Gary is red.[(triple10)]