Anne is not blue. Anne is furry. Anne is green. Anne is not kind. Bob is not big. Bob is kind. Erin is big. Erin is blue. Erin is cold. Gary is big. Gary is blue. Gary is kind. If something is kind and not big then it is cold. All big things are cold. All blue, big things are cold. If Bob is cold and Bob is green then Bob is nice. If Bob is not blue then Bob is nice. Big, cold things are not nice. If Anne is furry and Anne is cold then Anne is kind. All big things are green.
Bob is not green.
@0: Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is not blue.[(triple1)] Anne is not kind.[(triple4)] Bob is kind.[(triple6)] Bob is not big.[(triple5)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9 OR ((triple7) -> rule2) OR ((triple8 triple7) -> rule3))] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is kind.[(triple12)] @1: Bob is cold.[(((triple6 triple5) -> rule1))] Erin is green.[(((triple7) -> rule8))] Erin is not nice.[(((triple7 triple9) -> rule6) OR ((triple7 ((triple7) -> rule2)) -> rule6) OR ((triple7 ((triple8 triple7) -> rule3)) -> rule6))] Gary is cold.[(((triple10) -> rule2) OR ((triple11 triple10) -> rule3))] Gary is green.[(((triple10) -> rule8))] @2: Gary is not nice.[(((triple10 ((triple10) -> rule2)) -> rule6) OR ((triple10 ((triple11 triple10) -> rule3)) -> rule6))]