Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is smart. Dave is young. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is young. Young people are kind. All big people are nice. Smart, young people are cold. Smart people are cold. Big, smart people are blue. If Gary is blue and Gary is kind then Gary is nice.
Gary is not cold.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1 triple6) -> rule5))] Dave is cold.[(triple3 OR ((triple6) -> rule4) OR ((triple6 triple7) -> rule3))] Dave is kind.[(triple4 OR ((triple7) -> rule1))] Dave is nice.[(triple5 OR ((triple1) -> rule2))] Dave is smart.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10 OR ((triple12) -> rule1))] Gary is nice.[(triple11 OR ((triple8) -> rule2) OR ((triple9 triple10) -> rule6) OR ((triple9 ((triple12) -> rule1)) -> rule6))] Gary is young.[(triple12)]