Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Bob is nice. Dave is blue. Dave is green. Dave is red. Dave is young. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is red. Green people are young. If Fiona is blue and Fiona is red then Fiona is kind. If someone is kind then they are furry.
Bob is green.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule3))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is red.[(triple6)] Bob is nice.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is red.[(triple10)] Dave is young.[(triple11 OR ((triple9) -> rule1))] Fiona is blue.[(triple12)] Fiona is furry.[(triple13 OR ((((triple12 triple15) -> rule2)) -> rule3))] Fiona is nice.[(triple14)] Fiona is red.[(triple15)] @1: Anne is young.[(((triple3) -> rule1))] Fiona is kind.[(((triple12 triple15) -> rule2))]