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