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