Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is red. Fiona is red. Harry is blue. Harry is not green. Harry is kind. Harry is red. Blue, nice people are kind. If Bob is not smart then Bob is kind. Smart, red people are green. If Fiona is blue then Fiona is green. If Fiona is nice then Fiona is green. Green, furry people are nice.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple3 triple2) -> rule6))] Bob is red.[(triple5)] Fiona is red.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple9)] Harry is not green.[(triple8)] Harry is red.[(triple10)] @1: Bob is kind.[(((triple1 triple4) -> rule1) OR ((triple1 ((triple3 triple2) -> rule6)) -> rule1))]