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