Anne is furry. Anne is nice. Anne is smart. Charlie is nice. Gary is big. Gary is furry. Harry is big. Harry is furry. Harry is red. Harry is smart. If someone is nice then they are green. All smart people are furry. If Charlie is green then Charlie is furry. If Gary is smart and Gary is big then Gary is rough. If Charlie is big then Charlie is green. All furry, nice people are red. If Anne is smart then Anne is nice. If someone is green then they are nice.
Harry is not green.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule2))] Anne is nice.[(triple2 OR ((triple3) -> rule7))] Anne is smart.[(triple3)] Charlie is nice.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8 OR ((triple10) -> rule2))] Harry is red.[(triple9)] Harry is smart.[(triple10)] @1: Anne is green.[(((triple2) -> rule1) OR ((((triple3) -> rule7)) -> rule1))] Anne is red.[(((triple1 triple2) -> rule6) OR ((triple1 ((triple3) -> rule7)) -> rule6) OR ((((triple3) -> rule2) triple2) -> rule6) OR ((((triple3) -> rule2) ((triple3) -> rule7)) -> rule6))] Charlie is green.[(((triple4) -> rule1))] @2: Charlie is furry.[(((((triple4) -> rule1)) -> rule3))] @3: Charlie is red.[(((((((triple4) -> rule1)) -> rule3) triple4) -> rule6))]