Anne is blue. Anne is not furry. Anne is kind. Anne is smart. Anne is young. Bob is furry. Bob is not green. Bob is red. Bob is smart. Bob is young. Fiona is furry. Fiona is red. All red people are kind. All smart, kind people are blue. If someone is green then they are blue.
Fiona is not smart.
@0: Anne is blue.[(triple1 OR ((triple4 triple3) -> rule2))] Anne is kind.[(triple3)] Anne is not furry.[(triple2)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Bob is furry.[(triple6)] Bob is not green.[(triple7)] Bob is red.[(triple8)] Bob is smart.[(triple9)] Bob is young.[(triple10)] Fiona is furry.[(triple11)] Fiona is red.[(triple12)] @1: Bob is kind.[(((triple8) -> rule1))] Fiona is kind.[(((triple12) -> rule1))] @2: Bob is blue.[(((triple9 ((triple8) -> rule1)) -> rule2))]