Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Bob is furry. Fiona is cold. Fiona is green. Fiona is smart. All furry, cold people are blue.
Bob is green.
@0: Anne is blue.[(triple1 OR ((triple3 triple2) -> rule1))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is quiet.[(triple6)] Bob is furry.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is smart.[(triple10)]