Anne is nice. Anne is quiet. Bob is cold. Bob is nice. Bob is white. Charlie is big. Charlie is blue. Charlie is quiet. Charlie is smart. Charlie is white. If someone is nice and smart then they are big. Quiet, white people are smart. If someone is cold then they are smart. Big, quiet people are nice. If Charlie is nice then Charlie is blue. All big people are nice. Nice people are cold. If someone is white then they are smart.
Anne is blue.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Bob is cold.[(triple3 OR ((triple4) -> rule7))] Bob is nice.[(triple4)] Bob is white.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7 OR ((((triple6) -> rule6)) -> rule5) OR ((((triple6 triple8) -> rule4)) -> rule5))] Charlie is quiet.[(triple8)] Charlie is smart.[(triple9 OR ((triple10) -> rule8) OR ((triple8 triple10) -> rule2) OR ((((((triple6) -> rule6)) -> rule7)) -> rule3) OR ((((((triple6 triple8) -> rule4)) -> rule7)) -> rule3))] Charlie is white.[(triple10)] @1: Anne is cold.[(((triple1) -> rule7))] Bob is smart.[(((triple3) -> rule3) OR ((triple5) -> rule8) OR ((((triple4) -> rule7)) -> rule3))] Charlie is nice.[(((triple6) -> rule6) OR ((triple6 triple8) -> rule4))] @2: Anne is smart.[(((((triple1) -> rule7)) -> rule3))] Bob is big.[(((triple4 ((triple3) -> rule3)) -> rule1) OR ((triple4 ((triple5) -> rule8)) -> rule1) OR ((triple4 ((((triple4) -> rule7)) -> rule3)) -> rule1))] Charlie is cold.[(((((triple6) -> rule6)) -> rule7) OR ((((triple6 triple8) -> rule4)) -> rule7))] @3: Anne is big.[(((triple1 ((((triple1) -> rule7)) -> rule3)) -> rule1))]