Anne is nice. Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is red. Erin is big. Erin is cold. Erin is kind. Erin is nice. If someone is red and cold then they are blue. Red, kind people are round. Nice people are kind. If Erin is nice then Erin is blue. If someone is nice then they are blue. If someone is kind and round then they are red. Red people are round. Nice, kind people are round.
Anne is not big.
@0: Anne is nice.[(triple1)] Bob is big.[(triple2)] Bob is blue.[(triple3 OR ((triple5) -> rule5) OR ((triple6 triple4) -> rule1) OR ((((((triple5) -> rule3) ((triple5 ((triple5) -> rule3)) -> rule8)) -> rule6) triple4) -> rule1))] Bob is cold.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6 OR ((((triple5) -> rule3) ((triple5 ((triple5) -> rule3)) -> rule8)) -> rule6))] Erin is big.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9 OR ((triple10) -> rule3))] Erin is nice.[(triple10)] @1: Anne is blue.[(((triple1) -> rule5))] Anne is kind.[(((triple1) -> rule3))] Bob is kind.[(((triple5) -> rule3))] Bob is round.[(((triple6) -> rule7) OR ((triple5 ((triple5) -> rule3)) -> rule8) OR ((triple6 ((triple5) -> rule3)) -> rule2))] Erin is blue.[(((triple10) -> rule4) OR ((triple10) -> rule5) OR ((((triple9 ((triple10 triple9) -> rule8)) -> rule6) triple8) -> rule1) OR ((((((triple10) -> rule3) ((triple10 triple9) -> rule8)) -> rule6) triple8) -> rule1) OR ((((triple9 ((triple10 ((triple10) -> rule3)) -> rule8)) -> rule6) triple8) -> rule1) OR ((((((triple10) -> rule3) ((triple10 ((triple10) -> rule3)) -> rule8)) -> rule6) triple8) -> rule1))] Erin is round.[(((triple10 triple9) -> rule8) OR ((triple10 ((triple10) -> rule3)) -> rule8))] @2: Anne is round.[(((triple1 ((triple1) -> rule3)) -> rule8))] Erin is red.[(((triple9 ((triple10 triple9) -> rule8)) -> rule6) OR ((((triple10) -> rule3) ((triple10 triple9) -> rule8)) -> rule6) OR ((triple9 ((triple10 ((triple10) -> rule3)) -> rule8)) -> rule6) OR ((((triple10) -> rule3) ((triple10 ((triple10) -> rule3)) -> rule8)) -> rule6))] @3: Anne is red.[(((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule8)) -> rule6))]