Anne is blue. Anne is kind. Anne is smart. Charlie is big. Charlie is quiet. Charlie is smart. Charlie is young. Dave is blue. Dave is not furry. Dave is kind. Dave is quiet. Harry is smart. If Harry is smart then Harry is young. If Anne is young then Anne is quiet. If Harry is kind and Harry is smart then Harry is blue. Blue, furry people are big. If someone is young and blue then they are furry. If someone is smart and not quiet then they are kind. If someone is blue and not young then they are kind. Young people are kind.
Harry is blue.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Charlie is big.[(triple4)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple10)] Dave is not furry.[(triple9)] Dave is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Charlie is kind.[(((triple7) -> rule8))] Harry is young.[(((triple12) -> rule1))] @2: Harry is kind.[(((((triple12) -> rule1)) -> rule8))] @3: Harry is blue.[(((((((triple12) -> rule1)) -> rule8) triple12) -> rule3))] @4: Harry is furry.[(((((triple12) -> rule1) ((((((triple12) -> rule1)) -> rule8) triple12) -> rule3)) -> rule5))] @5: Harry is big.[(((((((((triple12) -> rule1)) -> rule8) triple12) -> rule3) ((((triple12) -> rule1) ((((((triple12) -> rule1)) -> rule8) triple12) -> rule3)) -> rule5)) -> rule4))]