Anne is not nice. Anne is red. Anne is white. Anne is young. Bob is red. Erin is green. Erin is nice. Harry is kind. Harry is nice. Harry is rough. All kind, red things are green. If something is rough and young then it is green. Green, young things are white. Rough, kind things are white. If something is kind then it is rough. All young things are not nice. If something is red then it is kind. If Bob is white then Bob is young.
Bob is not white.
@0: Anne is not nice.[(triple1 OR ((triple4) -> rule6))] Anne is red.[(triple2)] Anne is white.[(triple3 OR ((((((triple2) -> rule7) triple2) -> rule1) triple4) -> rule3) OR ((((((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule5) triple4) -> rule2) triple4) -> rule3))] Anne is young.[(triple4)] Bob is red.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10 OR ((triple8) -> rule5))] @1: Anne is kind.[(((triple2) -> rule7))] Bob is kind.[(((triple5) -> rule7))] Harry is white.[(((triple10 triple8) -> rule4) OR ((((triple8) -> rule5) triple8) -> rule4))] @2: Anne is green.[(((((triple2) -> rule7) triple2) -> rule1) OR ((((((triple2) -> rule7)) -> rule5) triple4) -> rule2))] Anne is rough.[(((((triple2) -> rule7)) -> rule5))] Bob is green.[(((((triple5) -> rule7) triple5) -> rule1) OR ((((((triple5) -> rule7)) -> rule5) ((((((((triple5) -> rule7)) -> rule5) ((triple5) -> rule7)) -> rule4)) -> rule8)) -> rule2))] Bob is rough.[(((((triple5) -> rule7)) -> rule5))] @3: Bob is white.[(((((((triple5) -> rule7)) -> rule5) ((triple5) -> rule7)) -> rule4))] @4: Bob is young.[(((((((((triple5) -> rule7)) -> rule5) ((triple5) -> rule7)) -> rule4)) -> rule8))] @5: Bob is not nice.[(((((((((((triple5) -> rule7)) -> rule5) ((triple5) -> rule7)) -> rule4)) -> rule8)) -> rule6))]