Anne is cold. Anne is rough. Anne is smart. Gary is cold. Gary is nice. Gary is rough. Gary is smart. If Anne is big then Anne is blue. If Gary is big and Gary is rough then Gary is blue. If something is cold then it is big. All cold, blue things are green. If Gary is blue then Gary is green. Smart things are green. Cold things are smart. Green things are big.
Gary is not smart.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule7))] Gary is cold.[(triple4)] Gary is nice.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7 OR ((triple4) -> rule7))] @1: Anne is big.[(((triple1) -> rule3) OR ((((triple3) -> rule6)) -> rule8) OR ((((((triple1) -> rule7)) -> rule6)) -> rule8))] Anne is green.[(((triple3) -> rule6) OR ((((triple1) -> rule7)) -> rule6) OR ((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule4))] Gary is big.[(((triple4) -> rule3) OR ((((triple7) -> rule6)) -> rule8) OR ((((((triple4) -> rule7)) -> rule6)) -> rule8))] Gary is green.[(((triple7) -> rule6) OR ((((triple4) -> rule7)) -> rule6) OR ((((((triple4) -> rule3) triple6) -> rule2)) -> rule5) OR ((triple4 ((((triple4) -> rule3) triple6) -> rule2)) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule1) OR ((((((triple3) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule7)) -> rule6)) -> rule8)) -> rule1))] Gary is blue.[(((((triple4) -> rule3) triple6) -> rule2) OR ((((((triple7) -> rule6)) -> rule8) triple6) -> rule2) OR ((((((((triple4) -> rule7)) -> rule6)) -> rule8) triple6) -> rule2))]