Bob is green. Bob is smart. Erin is furry. Erin is nice. Erin is rough. Gary is rough. Harry is smart. Nice, blue things are rough. All nice things are blue. Green, nice things are kind. If Gary is rough then Gary is smart. All nice, rough things are furry. If something is rough and furry then it is green.
Erin is not green.
@0: Bob is green.[(triple1)] Bob is smart.[(triple2)] Erin is furry.[(triple3 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5))] Erin is nice.[(triple4)] Erin is rough.[(triple5 OR ((triple4 ((triple4) -> rule2)) -> rule1))] Gary is rough.[(triple6)] Harry is smart.[(triple7)] @1: Erin is blue.[(((triple4) -> rule2))] Erin is green.[(((triple5 triple3) -> rule6) OR ((triple5 ((triple4 triple5) -> rule5)) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule1) triple3) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule1) ((triple4 triple5) -> rule5)) -> rule6) OR ((triple5 ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule1) ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule6))] Gary is smart.[(((triple6) -> rule4))] @2: Erin is kind.[(((((triple5 triple3) -> rule6) triple4) -> rule3) OR ((((triple5 ((triple4 triple5) -> rule5)) -> rule6) triple4) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule1) triple3) -> rule6) triple4) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule1) ((triple4 triple5) -> rule5)) -> rule6) triple4) -> rule3) OR ((((triple5 ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule6) triple4) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule1) ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5)) -> rule6) triple4) -> rule3))]