Bob is kind. Bob is red. Bob is not round. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. Harry is furry. Harry is red. Furry, red people are quiet. If Harry is kind and Harry is not round then Harry is furry. If Bob is not red then Bob is not quiet. If someone is quiet and red then they are nice. Round, quiet people are kind. If someone is kind and red then they are furry.
Erin is furry.
@0: Bob is kind.[(triple1)] Bob is not round.[(triple3)] Bob is red.[(triple2)] Erin is nice.[(triple4 OR ((triple5 triple6) -> rule4))] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10)] @1: Bob is furry.[(((triple1 triple2) -> rule6))] Erin is kind.[(((triple8 triple5) -> rule5))] Harry is quiet.[(((triple9 triple10) -> rule1))] @2: Bob is quiet.[(((((triple1 triple2) -> rule6) triple2) -> rule1))] Erin is furry.[(((((triple8 triple5) -> rule5) triple6) -> rule6))] Harry is nice.[(((((triple9 triple10) -> rule1) triple10) -> rule4))] @3: Bob is nice.[(((((((triple1 triple2) -> rule6) triple2) -> rule1) triple2) -> rule4))]