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