Bob is blue. Bob is furry. Dave is furry. Dave is nice. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Harry is quiet. Harry is red. If someone is round then they are quiet. All furry people are quiet. All red, nice people are quiet. Kind, quiet people are round. If someone is quiet then they are round. Nice people are round. All quiet, round people are kind. Nice people are red. If someone is furry and kind then they are nice.
Harry is not furry.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4 OR ((triple3 ((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule7)) -> rule9))] Erin is kind.[(triple5 OR ((triple7 triple8) -> rule7) OR ((triple7 ((triple6) -> rule6)) -> rule7) OR ((triple7 ((triple7) -> rule5)) -> rule7) OR ((((triple8) -> rule1) triple8) -> rule7) OR ((((triple8) -> rule1) ((triple6) -> rule6)) -> rule7) OR ((((triple8) -> rule1) ((triple7) -> rule5)) -> rule7) OR ((((((triple6) -> rule6)) -> rule1) triple8) -> rule7) OR ((((((triple6) -> rule8) triple6) -> rule3) triple8) -> rule7) OR ((((((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule7) OR ((((((triple6) -> rule6)) -> rule1) ((triple7) -> rule5)) -> rule7) OR ((((((triple6) -> rule8) triple6) -> rule3) ((triple6) -> rule6)) -> rule7) OR ((((((triple6) -> rule8) triple6) -> rule3) ((triple7) -> rule5)) -> rule7) OR ((triple7 ((((((triple6) -> rule8) triple6) -> rule3)) -> rule5)) -> rule7) OR ((((triple8) -> rule1) ((((((triple6) -> rule8) triple6) -> rule3)) -> rule5)) -> rule7) OR ((((((triple6) -> rule6)) -> rule1) ((((((triple6) -> rule8) triple6) -> rule3)) -> rule5)) -> rule7) OR ((((((triple6) -> rule8) triple6) -> rule3) ((((((triple6) -> rule8) triple6) -> rule3)) -> rule5)) -> rule7))] Erin is nice.[(triple6)] Erin is quiet.[(triple7 OR ((triple8) -> rule1) OR ((((triple6) -> rule6)) -> rule1) OR ((((triple6) -> rule8) triple6) -> rule3))] Erin is round.[(triple8 OR ((triple6) -> rule6) OR ((triple7) -> rule5) OR ((triple5 triple7) -> rule4) OR ((((((triple6) -> rule8) triple6) -> rule3)) -> rule5) OR ((triple5 ((((triple6) -> rule8) triple6) -> rule3)) -> rule4))] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule2))] Dave is quiet.[(((triple3) -> rule2) OR ((((triple4) -> rule6)) -> rule1) OR ((((triple4) -> rule8) triple4) -> rule3))] Dave is red.[(((triple4) -> rule8) OR ((((triple3 ((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule7)) -> rule9)) -> rule8))] Dave is round.[(((triple4) -> rule6) OR ((((triple3) -> rule2)) -> rule5) OR ((((((triple4) -> rule8) triple4) -> rule3)) -> rule5))] Erin is red.[(((triple6) -> rule8))] Harry is round.[(((triple9) -> rule5))] @2: Bob is round.[(((((triple2) -> rule2)) -> rule5))] Dave is kind.[(((((triple3) -> rule2) ((triple4) -> rule6)) -> rule7) OR ((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule5)) -> rule7) OR ((((((triple4) -> rule6)) -> rule1) ((triple4) -> rule6)) -> rule7) OR ((((((triple4) -> rule8) triple4) -> rule3) ((triple4) -> rule6)) -> rule7) OR ((((((triple4) -> rule6)) -> rule1) ((((triple3) -> rule2)) -> rule5)) -> rule7) OR ((((((triple4) -> rule8) triple4) -> rule3) ((((triple3) -> rule2)) -> rule5)) -> rule7) OR ((((triple3) -> rule2) ((((((triple4) -> rule8) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule6)) -> rule1) ((((((triple4) -> rule8) triple4) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule8) triple4) -> rule3) ((((((triple4) -> rule8) triple4) -> rule3)) -> rule5)) -> rule7))] Harry is kind.[(((triple9 ((triple9) -> rule5)) -> rule7))] @3: Bob is kind.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule5)) -> rule7))] @4: Bob is nice.[(((triple2 ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule5)) -> rule7)) -> rule9))] @5: Bob is red.[(((((triple2 ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule5)) -> rule7)) -> rule9)) -> rule8))]