Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is round. Bob is big. Bob is furry. Bob is young. Charlie is big. Charlie is cold. Charlie is round. Charlie is young. Erin is blue. Erin is nice. Erin is young. Cold people are nice. Furry, cold people are round. If someone is big then they are round. Round people are young. All round, big people are cold. If someone is big and furry then they are young.
Bob is not cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple5 triple1) -> rule5) OR ((((triple1) -> rule3) triple1) -> rule5))] Anne is nice.[(triple4 OR ((triple3) -> rule1) OR ((((triple5 triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule3) triple1) -> rule5)) -> rule1))] Anne is round.[(triple5 OR ((triple1) -> rule3))] Bob is big.[(triple6)] Bob is furry.[(triple7)] Bob is young.[(triple8 OR ((triple6 triple7) -> rule6) OR ((((triple6) -> rule3)) -> rule4))] Charlie is big.[(triple9)] Charlie is cold.[(triple10 OR ((triple11 triple9) -> rule5) OR ((((triple9) -> rule3) triple9) -> rule5))] Charlie is round.[(triple11 OR ((triple9) -> rule3))] Charlie is young.[(triple12 OR ((triple11) -> rule4) OR ((((triple9) -> rule3)) -> rule4))] Erin is blue.[(triple13)] Erin is nice.[(triple14)] Erin is young.[(triple15)] @1: Anne is young.[(((triple5) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] Bob is round.[(((triple6) -> rule3))] Charlie is nice.[(((triple10) -> rule1) OR ((((triple11 triple9) -> rule5)) -> rule1) OR ((((((triple9) -> rule3) triple9) -> rule5)) -> rule1))] @2: Bob is cold.[(((((triple6) -> rule3) triple6) -> rule5))] @3: Bob is nice.[(((((((triple6) -> rule3) triple6) -> rule5)) -> rule1))]