Anne is big. Anne is furry. Anne is red. Anne is young. Charlie is big. Charlie is furry. Charlie is green. If something is red then it is round. All cold things are round. If Anne is furry then Anne is cold. Young things are red. If Anne is round then Anne is furry. If Charlie is cold and Charlie is red then Charlie is green.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((((triple3) -> rule1)) -> rule5) OR ((((((triple4) -> rule4)) -> rule1)) -> rule5))] Anne is red.[(triple3 OR ((triple4) -> rule4))] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] @1: Anne is cold.[(((triple2) -> rule3) OR ((((((triple3) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule1)) -> rule5)) -> rule3))] Anne is round.[(((triple3) -> rule1) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple4) -> rule4)) -> rule1))]