Anne is big. Anne is furry. Anne is green. Bob is big. Bob is round. Erin is not green. Erin is nice. Erin is rough. Erin is round. Harry is furry. If someone is nice then they are big. Kind, round people are not big. If someone is round and rough then they are nice. All furry people are nice. If Harry is round then Harry is green. If Bob is rough then Bob is nice. If someone is green then they are not kind. All furry, big people are not kind.
Harry is not kind.
@0: Anne is big.[(triple1 OR ((((triple2) -> rule4)) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Bob is big.[(triple4)] Bob is round.[(triple5)] Erin is nice.[(triple7 OR ((triple9 triple8) -> rule3))] Erin is not green.[(triple6)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Harry is furry.[(triple10)] @1: Anne is nice.[(((triple2) -> rule4))] Anne is not kind.[(((triple3) -> rule7) OR ((triple2 triple1) -> rule8) OR ((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule8))] Erin is big.[(((triple7) -> rule1) OR ((((triple9 triple8) -> rule3)) -> rule1))] Harry is nice.[(((triple10) -> rule4))] @2: Harry is big.[(((((triple10) -> rule4)) -> rule1))] @3: Harry is not kind.[(((triple10 ((((triple10) -> rule4)) -> rule1)) -> rule8))]