Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is rough. Charlie is cold. Charlie is furry. Charlie is rough. Harry is blue. Harry is smart. If Anne is blue then Anne is furry. All nice, blue things are cold. Green, nice things are smart. Nice, cold things are smart. If Anne is smart and Anne is rough then Anne is furry. If something is cold and rough then it is nice. If something is cold and smart then it is blue. If Anne is cold and Anne is nice then Anne is blue.
Anne is smart.
@0: Anne is blue.[(triple1 OR ((triple2 triple4) -> rule8) OR ((triple2 ((triple2 triple5) -> rule6)) -> rule8) OR ((triple2 ((triple4 triple2) -> rule4)) -> rule7) OR ((triple2 ((((triple2 triple5) -> rule6) triple2) -> rule4)) -> rule7))] Anne is cold.[(triple2 OR ((triple4 triple1) -> rule2))] Anne is furry.[(triple3 OR ((triple1) -> rule1) OR ((((triple2 triple4) -> rule8)) -> rule1) OR ((((triple4 triple2) -> rule4) triple5) -> rule5) OR ((((triple2 ((triple2 triple5) -> rule6)) -> rule8)) -> rule1) OR ((((triple2 ((triple4 triple2) -> rule4)) -> rule7)) -> rule1) OR ((((triple4 ((triple4 triple1) -> rule2)) -> rule4) triple5) -> rule5) OR ((((((triple2 triple5) -> rule6) triple2) -> rule4) triple5) -> rule5) OR ((((((triple2 triple5) -> rule6) ((triple4 triple1) -> rule2)) -> rule4) triple5) -> rule5) OR ((((triple2 ((((triple2 triple5) -> rule6) triple2) -> rule4)) -> rule7)) -> rule1))] Anne is nice.[(triple4 OR ((triple2 triple5) -> rule6))] Anne is rough.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is rough.[(triple8)] Harry is blue.[(triple9)] Harry is smart.[(triple10)] @1: Anne is smart.[(((triple4 triple2) -> rule4) OR ((triple4 ((triple4 triple1) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule6) triple2) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple4 triple1) -> rule2)) -> rule4))] Charlie is nice.[(((triple6 triple8) -> rule6))] @2: Charlie is smart.[(((((triple6 triple8) -> rule6) triple6) -> rule4))] @3: Charlie is blue.[(((triple6 ((((triple6 triple8) -> rule6) triple6) -> rule4)) -> rule7))]