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