Bob is furry. Bob is round. Bob is white. Erin is furry. Erin is quiet. Harry is quiet. Harry is white. If someone is round then they are nice. All white, furry people are nice. Furry people are quiet. All nice people are quiet. If someone is quiet and furry then they are green. Green, quiet people are white.
Erin is furry.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3 OR ((((((triple1) -> rule3) triple1) -> rule5) ((triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule3) triple1) -> rule5) ((((triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule4) triple1) -> rule5) ((triple1) -> rule3)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule4) triple1) -> rule5) ((((triple2) -> rule1)) -> rule4)) -> rule6))] Erin is furry.[(triple4)] Erin is quiet.[(triple5 OR ((triple4) -> rule3))] Harry is quiet.[(triple6)] Harry is white.[(triple7)] @1: Bob is nice.[(((triple2) -> rule1) OR ((triple3 triple1) -> rule2) OR ((((((((triple1) -> rule3) triple1) -> rule5) ((triple1) -> rule3)) -> rule6) triple1) -> rule2))] Bob is quiet.[(((triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple3 triple1) -> rule2)) -> rule4))] Erin is green.[(((triple5 triple4) -> rule5) OR ((((triple4) -> rule3) triple4) -> rule5))] @2: Bob is green.[(((((triple1) -> rule3) triple1) -> rule5) OR ((((((triple2) -> rule1)) -> rule4) triple1) -> rule5) OR ((((((triple3 triple1) -> rule2)) -> rule4) triple1) -> rule5))] Erin is white.[(((((triple5 triple4) -> rule5) triple5) -> rule6) OR ((((triple5 triple4) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple4) -> rule3) triple4) -> rule5) triple5) -> rule6) OR ((((((triple4) -> rule3) triple4) -> rule5) ((triple4) -> rule3)) -> rule6))] @3: Erin is nice.[(((((((triple5 triple4) -> rule5) triple5) -> rule6) triple4) -> rule2) OR ((((((triple5 triple4) -> rule5) ((triple4) -> rule3)) -> rule6) triple4) -> rule2) OR ((((((((triple4) -> rule3) triple4) -> rule5) triple5) -> rule6) triple4) -> rule2) OR ((((((((triple4) -> rule3) triple4) -> rule5) ((triple4) -> rule3)) -> rule6) triple4) -> rule2))]