Bob is furry. Charlie is furry. Charlie is quiet. Erin is quiet. Erin is red. Erin is round. Erin is smart. Smart things are red. If something is quiet then it is furry. All quiet things are smart. If something is red and furry then it is white. If Erin is white and Erin is quiet then Erin is smart. If Erin is furry and Erin is red then Erin is round.
Charlie is nice.
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2 OR ((triple3) -> rule2))] Charlie is quiet.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5 OR ((triple7) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Erin is round.[(triple6 OR ((((triple4) -> rule2) triple5) -> rule6) OR ((((triple4) -> rule2) ((triple7) -> rule1)) -> rule6) OR ((((triple4) -> rule2) ((((triple4) -> rule3)) -> rule1)) -> rule6))] Erin is smart.[(triple7 OR ((triple4) -> rule3) OR ((((triple5 ((triple4) -> rule2)) -> rule4) triple4) -> rule5))] @1: Charlie is smart.[(((triple3) -> rule3))] Erin is furry.[(((triple4) -> rule2))] @2: Charlie is red.[(((((triple3) -> rule3)) -> rule1))] Erin is white.[(((triple5 ((triple4) -> rule2)) -> rule4) OR ((((triple7) -> rule1) ((triple4) -> rule2)) -> rule4) OR ((((((triple4) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4))] @3: Charlie is white.[(((((((triple3) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((triple3) -> rule3)) -> rule1) ((triple3) -> rule2)) -> rule4))]