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