Bob is blue. Bob is cold. Bob is green. Bob is red. Charlie is blue. Charlie is kind. Erin is cold. Erin is red. Gary is furry. Gary is kind. Kind people are blue. All green, furry people are nice. All red people are blue. All furry, kind people are green. If someone is nice and green then they are furry. All green people are nice.
Charlie is not nice.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule3))] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Charlie is blue.[(triple5 OR ((triple6) -> rule1))] Charlie is kind.[(triple6)] Erin is cold.[(triple7)] Erin is red.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] @1: Bob is nice.[(((triple3) -> rule6))] Erin is blue.[(((triple8) -> rule3))] Gary is blue.[(((triple10) -> rule1))] Gary is green.[(((triple9 triple10) -> rule4))] @2: Bob is furry.[(((((triple3) -> rule6) triple3) -> rule5))] Gary is nice.[(((((triple9 triple10) -> rule4)) -> rule6) OR ((((triple9 triple10) -> rule4) triple9) -> rule2))]