Bob is kind. Bob is nice. Bob is white. Charlie is kind. Charlie is white. Erin is red. Erin is rough. Harry is blue. Harry is kind. Harry is red. Blue people are nice. All white people are red. If someone is white and blue then they are nice. All rough people are red. If someone is smart then they are blue. If someone is kind then they are red. If someone is nice then they are rough. If someone is red then they are smart. If someone is red and rough then they are nice.
Charlie is smart.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2 OR ((((((((triple1) -> rule6)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple3) -> rule2)) -> rule8)) -> rule5)) -> rule1) OR ((triple3 ((((((triple1) -> rule6)) -> rule8)) -> rule5)) -> rule3) OR ((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule5)) -> rule3))] Bob is white.[(triple3)] Charlie is kind.[(triple4)] Charlie is white.[(triple5)] Erin is red.[(triple6 OR ((triple7) -> rule4))] Erin is rough.[(triple7 OR ((((((((triple6) -> rule8)) -> rule5)) -> rule1)) -> rule7))] Harry is blue.[(triple8 OR ((((triple10) -> rule8)) -> rule5) OR ((((((triple9) -> rule6)) -> rule8)) -> rule5))] Harry is kind.[(triple9)] Harry is red.[(triple10 OR ((triple9) -> rule6) OR ((((((triple8) -> rule1)) -> rule7)) -> rule4))] @1: Bob is red.[(((triple1) -> rule6) OR ((triple3) -> rule2) OR ((((triple2) -> rule7)) -> rule4))] Bob is rough.[(((triple2) -> rule7) OR ((((((((((triple1) -> rule6)) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((triple3 ((((((triple1) -> rule6)) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple3 ((((((triple3) -> rule2)) -> rule8)) -> rule5)) -> rule3)) -> rule7))] Charlie is red.[(((triple4) -> rule6) OR ((triple5) -> rule2))] Erin is nice.[(((triple6 triple7) -> rule9) OR ((((triple7) -> rule4) triple7) -> rule9) OR ((((((triple6) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1))] Erin is smart.[(((triple6) -> rule8) OR ((((triple7) -> rule4)) -> rule8))] Harry is nice.[(((triple8) -> rule1) OR ((((((triple10) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule8)) -> rule5)) -> rule1))] Harry is smart.[(((triple10) -> rule8) OR ((((triple9) -> rule6)) -> rule8) OR ((((((((triple8) -> rule1)) -> rule7)) -> rule4)) -> rule8))] @2: Bob is smart.[(((((triple1) -> rule6)) -> rule8) OR ((((triple3) -> rule2)) -> rule8) OR ((((((triple2) -> rule7)) -> rule4)) -> rule8))] Charlie is smart.[(((((triple4) -> rule6)) -> rule8) OR ((((triple5) -> rule2)) -> rule8))] Erin is blue.[(((((triple6) -> rule8)) -> rule5) OR ((((((triple7) -> rule4)) -> rule8)) -> rule5))] Harry is rough.[(((((triple8) -> rule1)) -> rule7) OR ((((((((triple10) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple9) -> rule6)) -> rule8)) -> rule5)) -> rule1)) -> rule7))] @3: Bob is blue.[(((((((triple1) -> rule6)) -> rule8)) -> rule5) OR ((((((triple3) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule5))] Charlie is blue.[(((((((triple4) -> rule6)) -> rule8)) -> rule5) OR ((((((triple5) -> rule2)) -> rule8)) -> rule5))] @4: Charlie is nice.[(((((((((triple4) -> rule6)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple5) -> rule2)) -> rule8)) -> rule5)) -> rule1) OR ((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule5)) -> rule3) OR ((triple5 ((((((triple5) -> rule2)) -> rule8)) -> rule5)) -> rule3))] @5: Charlie is rough.[(((((((((((triple4) -> rule6)) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule8)) -> rule5)) -> rule1)) -> rule7) OR ((((triple5 ((((((triple4) -> rule6)) -> rule8)) -> rule5)) -> rule3)) -> rule7) OR ((((triple5 ((((((triple5) -> rule2)) -> rule8)) -> rule5)) -> rule3)) -> rule7))]