Anne is big. Anne is cold. Anne is furry. Charlie is furry. Charlie is white. Charlie is young. Erin is white. Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is white. If someone is furry then they are cold. Kind, cold people are red. Young people are cold. All young people are big. Big people are red. If someone is furry then they are red. All furry, big people are kind. If Gary is cold then Gary is furry.
Anne is white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple3) -> rule1))] Anne is furry.[(triple3)] Charlie is furry.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple10) -> rule1))] Gary is furry.[(triple10 OR ((triple9) -> rule8))] Gary is red.[(triple11 OR ((triple10) -> rule6) OR ((triple8) -> rule5) OR ((((triple9) -> rule8)) -> rule6) OR ((((triple10 triple8) -> rule7) triple9) -> rule2) OR ((((triple10 triple8) -> rule7) ((triple10) -> rule1)) -> rule2) OR ((((((triple9) -> rule8) triple8) -> rule7) triple9) -> rule2) OR ((((((triple9) -> rule8) triple8) -> rule7) ((triple10) -> rule1)) -> rule2))] Gary is white.[(triple12)] @1: Anne is kind.[(((triple3 triple1) -> rule7))] Anne is red.[(((triple1) -> rule5) OR ((triple3) -> rule6) OR ((((triple3 triple1) -> rule7) triple2) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple3) -> rule1)) -> rule2))] Charlie is big.[(((triple6) -> rule4))] Charlie is cold.[(((triple4) -> rule1) OR ((triple6) -> rule3))] Charlie is red.[(((triple4) -> rule6) OR ((((triple6) -> rule4)) -> rule5) OR ((((triple4 ((triple6) -> rule4)) -> rule7) ((triple4) -> rule1)) -> rule2) OR ((((triple4 ((triple6) -> rule4)) -> rule7) ((triple6) -> rule3)) -> rule2))] Gary is kind.[(((triple10 triple8) -> rule7) OR ((((triple9) -> rule8) triple8) -> rule7))] @2: Charlie is kind.[(((triple4 ((triple6) -> rule4)) -> rule7))]