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