Anne is blue. Anne is green. Anne is young. Charlie is quiet. Charlie is young. Fiona is blue. Fiona is green. Harry is blue. Harry is green. Harry is quiet. If someone is green then they are smart. All red, furry people are blue. Red, furry people are green. If Anne is blue and Anne is furry then Anne is smart. If Charlie is blue then Charlie is quiet. Quiet, smart people are young.
Charlie is not quiet.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is young.[(triple3)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is smart.[(((triple2) -> rule1))] Fiona is smart.[(((triple7) -> rule1))] Harry is smart.[(((triple9) -> rule1))] @2: Harry is young.[(((triple10 ((triple9) -> rule1)) -> rule6))]