Anne is big. Anne is blue. Anne is furry. Anne is not green. Anne is quiet. Anne is smart. Gary is not furry. Gary is quiet. Gary is not smart. Harry is big. Harry is blue. Harry is not quiet. All red people are green. If someone is smart then they are blue. If someone is big then they are blue. If someone is big and not quiet then they are furry. If someone is big and blue then they are furry. If someone is blue and big then they are not red. If Gary is furry and Gary is smart then Gary is red. If Anne is blue and Anne is not green then Anne is furry.
Gary is not green.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1) -> rule3) OR ((triple6) -> rule2))] Anne is furry.[(triple3 OR ((triple1 triple2) -> rule5) OR ((triple2 triple4) -> rule8) OR ((triple1 ((triple1) -> rule3)) -> rule5) OR ((triple1 ((triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule3) triple4) -> rule8) OR ((((triple6) -> rule2) triple4) -> rule8))] Anne is not green.[(triple4)] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Gary is not furry.[(triple7)] Gary is not smart.[(triple9)] Gary is quiet.[(triple8)] Harry is big.[(triple10)] Harry is blue.[(triple11 OR ((triple10) -> rule3))] Harry is not quiet.[(triple12)] @1: Anne is not red.[(((triple2 triple1) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule6) OR ((((triple6) -> rule2) triple1) -> rule6))] Harry is furry.[(((triple10 triple11) -> rule5) OR ((triple10 triple12) -> rule4) OR ((triple10 ((triple10) -> rule3)) -> rule5))] Harry is not red.[(((triple11 triple10) -> rule6) OR ((((triple10) -> rule3) triple10) -> rule6))]