Bob is blue. Bob is nice. Bob is quiet. Bob is round. Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Erin is blue. Erin is kind. Erin is round. Harry is blue. Harry is green. Harry is kind. All blue people are rough. Round people are blue. Kind people are blue. If someone is round then they are kind. Green people are quiet. All quiet people are blue. If someone is quiet then they are kind. If someone is green then they are blue.
Erin is not quiet.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule6) OR ((triple4) -> rule2) OR ((((triple3) -> rule7)) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple5 OR ((triple10) -> rule2) OR ((triple6) -> rule8) OR ((triple8) -> rule6) OR ((((triple10) -> rule4)) -> rule3) OR ((((triple6) -> rule5)) -> rule6) OR ((((triple8) -> rule7)) -> rule3) OR ((((((triple6) -> rule5)) -> rule7)) -> rule3))] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8 OR ((triple6) -> rule5))] Charlie is rough.[(triple9 OR ((triple5) -> rule1) OR ((((triple10) -> rule2)) -> rule1) OR ((((triple6) -> rule8)) -> rule1) OR ((((triple8) -> rule6)) -> rule1) OR ((((((triple10) -> rule4)) -> rule3)) -> rule1) OR ((((((triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule7)) -> rule3)) -> rule1))] Charlie is round.[(triple10)] Erin is blue.[(triple11 OR ((triple12) -> rule3) OR ((triple13) -> rule2) OR ((((triple13) -> rule4)) -> rule3))] Erin is kind.[(triple12 OR ((triple13) -> rule4))] Erin is round.[(triple13)] Harry is blue.[(triple14 OR ((triple15) -> rule8) OR ((triple16) -> rule3) OR ((((triple15) -> rule5)) -> rule6) OR ((((((triple15) -> rule5)) -> rule7)) -> rule3))] Harry is green.[(triple15)] Harry is kind.[(triple16 OR ((((triple15) -> rule5)) -> rule7))] @1: Bob is kind.[(((triple3) -> rule7) OR ((triple4) -> rule4))] Bob is rough.[(((triple1) -> rule1) OR ((((triple3) -> rule6)) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((((triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule3)) -> rule1))] Charlie is kind.[(((triple10) -> rule4) OR ((triple8) -> rule7) OR ((((triple6) -> rule5)) -> rule7))] Erin is rough.[(((triple11) -> rule1) OR ((((triple12) -> rule3)) -> rule1) OR ((((triple13) -> rule2)) -> rule1) OR ((((((triple13) -> rule4)) -> rule3)) -> rule1))] Harry is quiet.[(((triple15) -> rule5))] Harry is rough.[(((triple14) -> rule1) OR ((((triple15) -> rule8)) -> rule1) OR ((((triple16) -> rule3)) -> rule1) OR ((((((triple15) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple15) -> rule5)) -> rule7)) -> rule3)) -> rule1))]