Anne is nice. Anne is red. Anne is young. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is white. Charlie is young. Fiona is furry. Fiona is nice. Fiona is young. All green, young things are cold. All green, white things are nice. Red, furry things are white. All white, furry things are cold. If something is young then it is nice. Furry things are red.
Charlie is cold.
@0: Anne is nice.[(triple1 OR ((triple3) -> rule5))] Anne is red.[(triple2)] Anne is young.[(triple3)] Charlie is cold.[(triple4 OR ((triple5 triple9) -> rule1))] Charlie is green.[(triple5)] Charlie is nice.[(triple6 OR ((triple9) -> rule5) OR ((triple5 triple8) -> rule2))] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11 OR ((triple12) -> rule5))] Fiona is young.[(triple12)] @1: Fiona is red.[(((triple10) -> rule6))] @2: Fiona is white.[(((((triple10) -> rule6) triple10) -> rule3))] @3: Fiona is cold.[(((((((triple10) -> rule6) triple10) -> rule3) triple10) -> rule4))]