Anne is blue. Bob is kind. Bob is young. Fiona is cold. Fiona is kind. Fiona is smart. Harry is blue. Harry is cold. Harry is furry. Harry is smart. If someone is smart then they are blue. If someone is green and blue then they are furry.
Bob is young.
@0: Anne is blue.[(triple1)] Bob is kind.[(triple2)] Bob is young.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is smart.[(triple6)] Harry is blue.[(triple7 OR ((triple10) -> rule1))] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is blue.[(((triple6) -> rule1))]