Anne is red. Erin is not round. Fiona is round. Harry is kind. All kind things are red. Young, big things are kind. All round, cold things are kind. If Fiona is green and Fiona is kind then Fiona is not round. If something is young and kind then it is green. If Anne is big then Anne is red. All red things are cold. Cold things are young.
Anne is big.
@0: Anne is red.[(triple1)] Erin is not round.[(triple2)] Fiona is round.[(triple3)] Harry is kind.[(triple4)] @1: Anne is cold.[(((triple1) -> rule7))] Harry is red.[(((triple4) -> rule1))] @2: Anne is young.[(((((triple1) -> rule7)) -> rule8))] Harry is cold.[(((((triple4) -> rule1)) -> rule7))] @3: Harry is young.[(((((((triple4) -> rule1)) -> rule7)) -> rule8))] @4: Harry is green.[(((((((((triple4) -> rule1)) -> rule7)) -> rule8) triple4) -> rule5))]