Anne is big. Anne is white. Bob is smart. Bob is white. Charlie is furry. Charlie is round. Erin is big. Erin is cold. Erin is round. Erin is white. If something is furry and white then it is big. If Charlie is smart then Charlie is furry. If something is furry and round then it is red. If Erin is white then Erin is big. If something is round and red then it is white. If Anne is cold then Anne is furry. If something is white then it is red. If something is red and big then it is cold.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is furry.[(triple5)] Charlie is round.[(triple6)] Erin is big.[(triple7 OR ((triple10) -> rule4))] Erin is cold.[(triple8 OR ((((triple10) -> rule7) triple7) -> rule8) OR ((((triple10) -> rule7) ((triple10) -> rule4)) -> rule8))] Erin is round.[(triple9)] Erin is white.[(triple10)] @1: Anne is red.[(((triple2) -> rule7))] Bob is red.[(((triple4) -> rule7))] Charlie is red.[(((triple5 triple6) -> rule3))] Erin is red.[(((triple10) -> rule7))] @2: Anne is cold.[(((((triple2) -> rule7) triple1) -> rule8))] Charlie is white.[(((triple6 ((triple5 triple6) -> rule3)) -> rule5))] @3: Anne is furry.[(((((((triple2) -> rule7) triple1) -> rule8)) -> rule6))] Charlie is big.[(((triple5 ((triple6 ((triple5 triple6) -> rule3)) -> rule5)) -> rule1))] @4: Charlie is cold.[(((((triple5 triple6) -> rule3) ((triple5 ((triple6 ((triple5 triple6) -> rule3)) -> rule5)) -> rule1)) -> rule8))]