Bob is kind. Bob is red. Bob is rough. Bob is smart. Bob is young. Dave is big. Dave is red. Dave is rough. Dave is smart. Dave is white. Gary is kind. Gary is red. Gary is smart. Gary is white. Gary is young. All white people are kind. All red people are smart. Big, red people are rough. Red people are smart. Big people are rough. All white, rough people are red.
Dave is big.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4 OR ((triple2) -> rule2) OR ((triple2) -> rule4))] Bob is young.[(triple5)] Dave is big.[(triple6)] Dave is red.[(triple7 OR ((triple10 triple8) -> rule6) OR ((triple10 ((triple6) -> rule5)) -> rule6))] Dave is rough.[(triple8 OR ((triple6) -> rule5) OR ((triple6 triple7) -> rule3))] Dave is smart.[(triple9 OR ((triple7) -> rule2) OR ((triple7) -> rule4) OR ((((triple10 triple8) -> rule6)) -> rule2) OR ((((triple10 triple8) -> rule6)) -> rule4) OR ((((triple10 ((triple6) -> rule5)) -> rule6)) -> rule2) OR ((((triple10 ((triple6) -> rule5)) -> rule6)) -> rule4))] Dave is white.[(triple10)] Gary is kind.[(triple11 OR ((triple14) -> rule1))] Gary is red.[(triple12)] Gary is smart.[(triple13 OR ((triple12) -> rule2) OR ((triple12) -> rule4))] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Dave is kind.[(((triple10) -> rule1))]