Anne is big. Anne is smart. Bob is big. Bob is round. Bob is white. Erin is cold. Erin is rough. Erin is smart. Gary is cold. Gary is nice. Big people are white. Nice, big people are smart. Nice, big people are white. All white, cold people are smart. All white, round people are nice. All big, cold people are rough. If someone is rough then they are nice. All white people are round. All nice people are cold.
Erin is not nice.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2 OR ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule5) triple1) -> rule2) OR ((((triple1) -> rule1) ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule9)) -> rule4))] Bob is big.[(triple3)] Bob is round.[(triple4 OR ((triple5) -> rule8) OR ((((triple3) -> rule1)) -> rule8))] Bob is white.[(triple5 OR ((triple3) -> rule1))] Erin is cold.[(triple6 OR ((((triple7) -> rule7)) -> rule9))] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Gary is cold.[(triple9 OR ((triple10) -> rule9))] Gary is nice.[(triple10)] @1: Anne is white.[(((triple1) -> rule1))] Bob is nice.[(((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule8)) -> rule5) OR ((((triple3) -> rule1) triple4) -> rule5) OR ((((triple3) -> rule1) ((triple5) -> rule8)) -> rule5) OR ((triple5 ((((triple3) -> rule1)) -> rule8)) -> rule5) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule5))] Erin is nice.[(((triple7) -> rule7))] @2: Anne is round.[(((((triple1) -> rule1)) -> rule8))] Bob is cold.[(((((triple5 triple4) -> rule5)) -> rule9) OR ((((triple5 ((triple5) -> rule8)) -> rule5)) -> rule9) OR ((((((triple3) -> rule1) triple4) -> rule5)) -> rule9) OR ((((((triple3) -> rule1) ((triple5) -> rule8)) -> rule5)) -> rule9) OR ((((triple5 ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule9) OR ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule9))] Bob is smart.[(((((triple5 triple4) -> rule5) triple3) -> rule2) OR ((triple5 ((((triple5 triple4) -> rule5)) -> rule9)) -> rule4) OR ((((triple5 ((triple5) -> rule8)) -> rule5) triple3) -> rule2) OR ((((((triple3) -> rule1) triple4) -> rule5) triple3) -> rule2) OR ((((triple3) -> rule1) ((((triple5 triple4) -> rule5)) -> rule9)) -> rule4) OR ((((((triple3) -> rule1) ((triple5) -> rule8)) -> rule5) triple3) -> rule2) OR ((triple5 ((((triple5 ((triple5) -> rule8)) -> rule5)) -> rule9)) -> rule4) OR ((triple5 ((((((triple3) -> rule1) triple4) -> rule5)) -> rule9)) -> rule4) OR ((((triple5 ((((triple3) -> rule1)) -> rule8)) -> rule5) triple3) -> rule2) OR ((triple5 ((((((triple3) -> rule1) ((triple5) -> rule8)) -> rule5)) -> rule9)) -> rule4) OR ((((triple3) -> rule1) ((((triple5 ((triple5) -> rule8)) -> rule5)) -> rule9)) -> rule4) OR ((((triple3) -> rule1) ((((((triple3) -> rule1) triple4) -> rule5)) -> rule9)) -> rule4) OR ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule5) triple3) -> rule2) OR ((((triple3) -> rule1) ((((((triple3) -> rule1) ((triple5) -> rule8)) -> rule5)) -> rule9)) -> rule4) OR ((triple5 ((((triple5 ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule9)) -> rule4) OR ((triple5 ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule9)) -> rule4) OR ((((triple3) -> rule1) ((((triple5 ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule9)) -> rule4) OR ((((triple3) -> rule1) ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule9)) -> rule4))] @3: Anne is nice.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule5))] Bob is rough.[(((triple3 ((((triple5 triple4) -> rule5)) -> rule9)) -> rule6) OR ((triple3 ((((triple5 ((triple5) -> rule8)) -> rule5)) -> rule9)) -> rule6) OR ((triple3 ((((((triple3) -> rule1) triple4) -> rule5)) -> rule9)) -> rule6) OR ((triple3 ((((((triple3) -> rule1) ((triple5) -> rule8)) -> rule5)) -> rule9)) -> rule6) OR ((triple3 ((((triple5 ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule9)) -> rule6) OR ((triple3 ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule8)) -> rule5)) -> rule9)) -> rule6))] @4: Anne is cold.[(((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule9))] @5: Anne is rough.[(((triple1 ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule5)) -> rule9)) -> rule6))]