Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Dave is cold. Dave is kind. If something is green then it is furry. If something is kind then it is green. If something is quiet and green then it is furry. All big things are kind. All furry, cold things are quiet. All rough things are kind. If something is cold and rough then it is big. If Anne is furry and Anne is quiet then Anne is green.
Dave is not cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((((triple5) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple1 triple5) -> rule7)) -> rule4)) -> rule2)) -> rule1))] Anne is green.[(triple3 OR ((triple4) -> rule2) OR ((((triple5) -> rule6)) -> rule2) OR ((triple2 ((triple2 triple1) -> rule5)) -> rule8) OR ((((((triple1 triple5) -> rule7)) -> rule4)) -> rule2))] Anne is kind.[(triple4 OR ((triple5) -> rule6) OR ((((triple1 triple5) -> rule7)) -> rule4))] Anne is rough.[(triple5)] Dave is cold.[(triple6)] Dave is kind.[(triple7)] @1: Anne is big.[(((triple1 triple5) -> rule7))] Anne is quiet.[(((triple2 triple1) -> rule5) OR ((((triple3) -> rule1) triple1) -> rule5) OR ((((((triple4) -> rule2)) -> rule1) triple1) -> rule5) OR ((((((((triple5) -> rule6)) -> rule2)) -> rule1) triple1) -> rule5) OR ((((((((((triple1 triple5) -> rule7)) -> rule4)) -> rule2)) -> rule1) triple1) -> rule5))] Dave is green.[(((triple7) -> rule2))] @2: Dave is furry.[(((((triple7) -> rule2)) -> rule1))] @3: Dave is quiet.[(((((((triple7) -> rule2)) -> rule1) triple6) -> rule5))]