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