Anne is furry. Anne is rough. Bob is cold. Bob is green. Bob is red. Gary is cold. Gary is quiet. Gary is red. Harry is not cold. Harry is red. Red things are not kind. If something is cold and not furry then it is not kind. Green, rough things are quiet. If something is furry and cold then it is quiet. If Bob is furry then Bob is green. Rough things are green. If something is kind and not furry then it is green. All quiet things are cold. Cold things are red.
Anne is not green.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is red.[(triple5 OR ((triple3) -> rule9))] Gary is cold.[(triple6 OR ((triple7) -> rule8))] Gary is quiet.[(triple7)] Gary is red.[(triple8 OR ((triple6) -> rule9) OR ((((triple7) -> rule8)) -> rule9))] Harry is not cold.[(triple9)] Harry is red.[(triple10)] @1: Anne is green.[(((triple2) -> rule6))] Bob is not kind.[(((triple5) -> rule1) OR ((((triple3) -> rule9)) -> rule1))] Gary is not kind.[(((triple8) -> rule1) OR ((((triple6) -> rule9)) -> rule1) OR ((((((triple7) -> rule8)) -> rule9)) -> rule1))] Harry is not kind.[(((triple10) -> rule1))] @2: Anne is quiet.[(((((triple2) -> rule6) triple2) -> rule3))] @3: Anne is cold.[(((((((triple2) -> rule6) triple2) -> rule3)) -> rule8))] @4: Anne is red.[(((((((((triple2) -> rule6) triple2) -> rule3)) -> rule8)) -> rule9))] @5: Anne is not kind.[(((((((((((triple2) -> rule6) triple2) -> rule3)) -> rule8)) -> rule9)) -> rule1))]