Anne is furry. Dave is big. Erin is green. Harry is round. If someone is round and big then they are kind. If someone is kind and round then they are furry. Round people are nice. All green people are nice. All green people are round. If someone is nice then they are big.
Erin is not big.
@0: Anne is furry.[(triple1)] Dave is big.[(triple2)] Erin is green.[(triple3)] Harry is round.[(triple4)] @1: Erin is nice.[(((triple3) -> rule4) OR ((((triple3) -> rule5)) -> rule3))] Erin is round.[(((triple3) -> rule5))] Harry is nice.[(((triple4) -> rule3))] @2: Erin is big.[(((((triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule5)) -> rule3)) -> rule6))] Harry is big.[(((((triple4) -> rule3)) -> rule6))] @3: Erin is kind.[(((((triple3) -> rule5) ((((triple3) -> rule4)) -> rule6)) -> rule1) OR ((((triple3) -> rule5) ((((((triple3) -> rule5)) -> rule3)) -> rule6)) -> rule1))] Harry is kind.[(((triple4 ((((triple4) -> rule3)) -> rule6)) -> rule1))] @4: Erin is furry.[(((((((triple3) -> rule5) ((((triple3) -> rule4)) -> rule6)) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule5) ((((((triple3) -> rule5)) -> rule3)) -> rule6)) -> rule1) ((triple3) -> rule5)) -> rule2))] Harry is furry.[(((((triple4 ((((triple4) -> rule3)) -> rule6)) -> rule1) triple4) -> rule2))]