Anne is kind. Anne is smart. Bob is kind. Bob is quiet. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is smart. Harry is quiet. Green, quiet things are cold. All kind, blue things are cold. All smart things are blue. All blue things are big. All blue things are kind. If Anne is blue then Anne is smart.
Gary is not green.
@0: Anne is kind.[(triple1 OR ((((triple2) -> rule3)) -> rule5))] Anne is smart.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Gary is big.[(triple5 OR ((triple6) -> rule4) OR ((((triple9) -> rule3)) -> rule4))] Gary is blue.[(triple6 OR ((triple9) -> rule3))] Gary is cold.[(triple7 OR ((((triple6) -> rule5) triple6) -> rule2) OR ((((triple6) -> rule5) ((triple9) -> rule3)) -> rule2) OR ((((((triple9) -> rule3)) -> rule5) triple6) -> rule2) OR ((((((triple9) -> rule3)) -> rule5) ((triple9) -> rule3)) -> rule2))] Gary is green.[(triple8)] Gary is smart.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is blue.[(((triple2) -> rule3))] Gary is kind.[(((triple6) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] @2: Anne is big.[(((((triple2) -> rule3)) -> rule4))] Anne is cold.[(((triple1 ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule2))]