Bob is big. Bob is cold. Bob is kind. Bob is nice. Dave is big. Dave is cold. Dave is kind. Dave is white. Dave is young. Gary is cold. Gary is nice. Gary is white. Harry is blue. Harry is kind. Harry is nice. If someone is blue then they are cold. All kind, cold people are nice. If Dave is blue and Dave is nice then Dave is cold. Young people are blue. All kind, cold people are big. All young, blue people are cold.
Gary is nice.
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule5))] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple3 triple2) -> rule2))] Dave is big.[(triple5 OR ((triple7 triple6) -> rule5) OR ((triple7 ((((triple9) -> rule4)) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple9) -> rule4)) -> rule6)) -> rule5))] Dave is cold.[(triple6 OR ((((triple9) -> rule4)) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule6))] Dave is kind.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple11)] Gary is white.[(triple12)] Harry is blue.[(triple13)] Harry is kind.[(triple14)] Harry is nice.[(triple15 OR ((triple14 ((triple13) -> rule1)) -> rule2))] @1: Dave is blue.[(((triple9) -> rule4))] Dave is nice.[(((triple7 triple6) -> rule2) OR ((triple7 ((((triple9) -> rule4)) -> rule1)) -> rule2) OR ((triple7 ((triple9 ((triple9) -> rule4)) -> rule6)) -> rule2))] Harry is cold.[(((triple13) -> rule1))] @2: Harry is big.[(((triple14 ((triple13) -> rule1)) -> rule5))]