Bob is blue. Bob is nice. Bob is red. Erin is blue. Erin is nice. Erin is red. Erin is round. Erin is white. Erin is young. Harry is blue. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is white. Harry is young. If someone is red then they are young. If someone is blue and red then they are nice. If Erin is blue and Erin is young then Erin is quiet. All young people are white. All white people are round. If Erin is nice then Erin is round. All blue people are young. All red people are quiet.
Bob is white.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2 OR ((triple1 triple3) -> rule2))] Bob is red.[(triple3)] Erin is blue.[(triple4)] Erin is nice.[(triple5 OR ((triple4 triple6) -> rule2))] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple5) -> rule6) OR ((triple8) -> rule5) OR ((((triple9) -> rule4)) -> rule5) OR ((((triple4 triple6) -> rule2)) -> rule6) OR ((((((triple4) -> rule7)) -> rule4)) -> rule5) OR ((((((triple6) -> rule1)) -> rule4)) -> rule5))] Erin is white.[(triple8 OR ((triple9) -> rule4) OR ((((triple4) -> rule7)) -> rule4) OR ((((triple6) -> rule1)) -> rule4))] Erin is young.[(triple9 OR ((triple4) -> rule7) OR ((triple6) -> rule1))] Harry is blue.[(triple10)] Harry is nice.[(triple11 OR ((triple10 triple13) -> rule2))] Harry is quiet.[(triple12 OR ((triple13) -> rule8))] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((triple15) -> rule5) OR ((((triple16) -> rule4)) -> rule5) OR ((((((triple10) -> rule7)) -> rule4)) -> rule5) OR ((((((triple13) -> rule1)) -> rule4)) -> rule5))] Harry is white.[(triple15 OR ((triple16) -> rule4) OR ((((triple10) -> rule7)) -> rule4) OR ((((triple13) -> rule1)) -> rule4))] Harry is young.[(triple16 OR ((triple10) -> rule7) OR ((triple13) -> rule1))] @1: Bob is quiet.[(((triple3) -> rule8))] Bob is young.[(((triple1) -> rule7) OR ((triple3) -> rule1))] Erin is quiet.[(((triple6) -> rule8) OR ((triple4 triple9) -> rule3) OR ((triple4 ((triple4) -> rule7)) -> rule3) OR ((triple4 ((triple6) -> rule1)) -> rule3))] @2: Bob is white.[(((((triple1) -> rule7)) -> rule4) OR ((((triple3) -> rule1)) -> rule4))] @3: Bob is round.[(((((((triple1) -> rule7)) -> rule4)) -> rule5) OR ((((((triple3) -> rule1)) -> rule4)) -> rule5))]