Anne is green. Anne is quiet. Anne is smart. Anne is young. Bob is kind. Bob is young. Gary is blue. Gary is green. Gary is kind. Gary is smart. Gary is young. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. All kind, cold people are smart. If someone is quiet then they are cold. Kind people are quiet. If Anne is kind and Anne is blue then Anne is green. If Gary is blue and Gary is kind then Gary is cold. If someone is quiet and green then they are cold.
Gary is green.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is kind.[(triple5)] Bob is young.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is smart.[(triple10 OR ((triple9 ((triple7 triple9) -> rule5)) -> rule1) OR ((triple9 ((((triple9) -> rule3)) -> rule2)) -> rule1) OR ((triple9 ((((triple9) -> rule3) triple8) -> rule6)) -> rule1))] Gary is young.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13 OR ((triple16) -> rule2) OR ((triple16 triple14) -> rule6) OR ((((triple15) -> rule3)) -> rule2) OR ((((triple15) -> rule3) triple14) -> rule6))] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is quiet.[(triple16 OR ((triple15) -> rule3))] @1: Anne is cold.[(((triple2) -> rule2) OR ((triple2 triple1) -> rule6))] Bob is quiet.[(((triple5) -> rule3))] Gary is cold.[(((triple7 triple9) -> rule5) OR ((((triple9) -> rule3)) -> rule2) OR ((((triple9) -> rule3) triple8) -> rule6))] Gary is quiet.[(((triple9) -> rule3))] Harry is smart.[(((triple15 triple13) -> rule1) OR ((triple15 ((triple16) -> rule2)) -> rule1) OR ((triple15 ((triple16 triple14) -> rule6)) -> rule1) OR ((triple15 ((((triple15) -> rule3)) -> rule2)) -> rule1) OR ((triple15 ((((triple15) -> rule3) triple14) -> rule6)) -> rule1))] @2: Bob is cold.[(((((triple5) -> rule3)) -> rule2))] @3: Bob is smart.[(((triple5 ((((triple5) -> rule3)) -> rule2)) -> rule1))]