Anne is furry. Erin is not round. Harry is green. If someone is kind and cold then they are big. Furry, quiet people are big. All green people are big. If someone is big and quiet then they are not furry. Round people are kind. If someone is cold then they are kind. If someone is big and not round then they are cold. Big, green people are quiet.
Erin is not big.
@0: Anne is furry.[(triple1)] Erin is not round.[(triple2)] Harry is green.[(triple3)] @1: Harry is big.[(((triple3) -> rule3))] @2: Harry is quiet.[(((((triple3) -> rule3) triple3) -> rule8))] @3: Harry is not furry.[(((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule8)) -> rule4))]