Anne is big. Anne is kind. Anne is white. Anne is young. Bob is blue. Bob is rough. Bob is round. Round, rough things are blue. If something is young then it is rough. Big things are rough. All young things are white. All white things are round. If something is blue and rough then it is young. All rough things are round. If Bob is rough then Bob is young.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3 OR ((triple4) -> rule4) OR ((((((((((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule6)) -> rule4))] Anne is young.[(triple4 OR ((((((triple3) -> rule5) ((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule6) OR ((((((((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule6))] Bob is blue.[(triple5 OR ((triple7 triple6) -> rule1) OR ((((triple6) -> rule7) triple6) -> rule1) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule5) triple6) -> rule1))] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple6) -> rule7) OR ((((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule6)) -> rule4)) -> rule5))] @1: Anne is rough.[(((triple1) -> rule3) OR ((triple4) -> rule2))] Anne is round.[(((triple3) -> rule5) OR ((((triple1) -> rule3)) -> rule7) OR ((((triple4) -> rule2)) -> rule7) OR ((((triple4) -> rule4)) -> rule5))] Bob is young.[(((triple6) -> rule8) OR ((triple5 triple6) -> rule6) OR ((((triple7 triple6) -> rule1) triple6) -> rule6) OR ((((((triple6) -> rule7) triple6) -> rule1) triple6) -> rule6))] @2: Anne is blue.[(((((triple3) -> rule5) ((triple1) -> rule3)) -> rule1) OR ((((triple3) -> rule5) ((triple4) -> rule2)) -> rule1) OR ((((((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule3)) -> rule7) ((triple4) -> rule2)) -> rule1) OR ((((((triple4) -> rule2)) -> rule7) ((triple1) -> rule3)) -> rule1) OR ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((triple1) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule2)) -> rule1))] Bob is white.[(((((triple6) -> rule8)) -> rule4) OR ((((triple5 triple6) -> rule6)) -> rule4) OR ((((((triple7 triple6) -> rule1) triple6) -> rule6)) -> rule4) OR ((((((((triple6) -> rule7) triple6) -> rule1) triple6) -> rule6)) -> rule4))]