Anne is cold. Anne is furry. Bob is blue. Charlie is cold. Charlie is not furry. Charlie is quiet. Charlie is red. Charlie is round. Charlie is young. Fiona is blue. Fiona is red. Fiona is round. Blue, quiet things are young. All quiet, red things are young. If something is red and not furry then it is young. If something is cold and not furry then it is round. If something is round then it is blue. All young things are red.
Anne is cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Bob is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is not furry.[(triple5)] Charlie is quiet.[(triple6)] Charlie is red.[(triple7 OR ((triple9) -> rule6) OR ((((((triple8) -> rule5) triple6) -> rule1)) -> rule6) OR ((((((((triple4 triple5) -> rule4)) -> rule5) triple6) -> rule1)) -> rule6))] Charlie is round.[(triple8 OR ((triple4 triple5) -> rule4))] Charlie is young.[(triple9 OR ((triple6 triple7) -> rule2) OR ((triple7 triple5) -> rule3) OR ((((triple8) -> rule5) triple6) -> rule1) OR ((((((triple4 triple5) -> rule4)) -> rule5) triple6) -> rule1))] Fiona is blue.[(triple10 OR ((triple12) -> rule5))] Fiona is red.[(triple11)] Fiona is round.[(triple12)] @1: Charlie is blue.[(((triple8) -> rule5) OR ((((triple4 triple5) -> rule4)) -> rule5))]