Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is young. Bob is blue. Bob is quiet. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is young. Gary is young. If Anne is young then Anne is cold. If something is cold then it is young. If Gary is nice and Gary is quiet then Gary is young. If Anne is blue and Anne is young then Anne is cold. All cold, young things are kind. If Bob is kind and Bob is quiet then Bob is blue.
Gary is not young.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((((triple6) -> rule1) triple6) -> rule5) OR ((((triple1 triple6) -> rule4) triple6) -> rule5))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6)] Bob is blue.[(triple7)] Bob is quiet.[(triple8)] Charlie is blue.[(triple9)] Charlie is cold.[(triple10)] Charlie is kind.[(triple11 OR ((triple10 triple15) -> rule5) OR ((triple10 ((triple10) -> rule2)) -> rule5))] Charlie is nice.[(triple12)] Charlie is quiet.[(triple13)] Charlie is rough.[(triple14)] Charlie is young.[(triple15 OR ((triple10) -> rule2))] Gary is young.[(triple16)] @1: Anne is cold.[(((triple6) -> rule1) OR ((triple1 triple6) -> rule4))]