Bob is blue. Bob is nice. Bob is quiet. Fiona is nice. Gary is kind. Harry is furry. Harry is red. All quiet people are nice. Red, furry people are nice. All kind, nice people are young. If someone is nice and blue then they are red. Furry, blue people are nice. Blue, nice people are quiet.
Bob is nice.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2 OR ((triple3) -> rule1))] Bob is quiet.[(triple3 OR ((triple1 triple2) -> rule6))] Fiona is nice.[(triple4)] Gary is kind.[(triple5)] Harry is furry.[(triple6)] Harry is red.[(triple7)] @1: Bob is red.[(((triple2 triple1) -> rule4) OR ((((triple3) -> rule1) triple1) -> rule4))] Harry is nice.[(((triple7 triple6) -> rule2))]