Anne is nice. Anne is smart. Anne is not young. Dave is nice. Dave is not smart. Dave is white. Fiona is not furry. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is white. Fiona is young. If something is smart then it is nice. If something is young and not smart then it is nice. If something is furry and smart then it is nice. All young, green things are nice. If something is nice and young then it is kind. If something is white then it is green.
Dave is not kind.
@0: Anne is nice.[(triple1 OR ((triple2) -> rule1))] Anne is not young.[(triple3)] Anne is smart.[(triple2)] Dave is nice.[(triple4)] Dave is not smart.[(triple5)] Dave is white.[(triple6)] Fiona is kind.[(triple8 OR ((triple9 triple12) -> rule5) OR ((((triple10) -> rule1) triple12) -> rule5) OR ((((triple12 ((triple11) -> rule6)) -> rule4) triple12) -> rule5))] Fiona is nice.[(triple9 OR ((triple10) -> rule1) OR ((triple12 ((triple11) -> rule6)) -> rule4))] Fiona is not furry.[(triple7)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Dave is green.[(((triple6) -> rule6))] Fiona is green.[(((triple11) -> rule6))]