Anne is blue. Anne is cold. Anne is kind. Anne is smart. Bob is cold. Bob is not kind. Bob is smart. Fiona is furry. Fiona is round. Fiona is not white. If Fiona is furry and Fiona is not smart then Fiona is blue. Kind things are blue.
Anne is blue.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule2))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Bob is cold.[(triple5)] Bob is not kind.[(triple6)] Bob is smart.[(triple7)] Fiona is furry.[(triple8)] Fiona is not white.[(triple10)] Fiona is round.[(triple9)]