Anne is cold. Anne is young. Erin is round. Fiona is big. Fiona is kind. Fiona is nice. Gary is round. If something is cold and furry then it is kind. All young things are nice. If something is young then it is furry. All furry, nice things are kind. If something is kind then it is big. All big, round things are cold.
Anne is not kind.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Erin is round.[(triple3)] Fiona is big.[(triple4 OR ((triple5) -> rule5))] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Gary is round.[(triple7)] @1: Anne is furry.[(((triple2) -> rule3))] Anne is nice.[(((triple2) -> rule2))] @2: Anne is kind.[(((triple1 ((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule3) ((triple2) -> rule2)) -> rule4))] @3: Anne is big.[(((((triple1 ((triple2) -> rule3)) -> rule1)) -> rule5) OR ((((((triple2) -> rule3) ((triple2) -> rule2)) -> rule4)) -> rule5))]