Anne is blue. Anne is furry. Anne is nice. Charlie is blue. Charlie is furry. Charlie is red. Charlie is round. Charlie is smart. Fiona is round. Gary is furry. If someone is nice and round then they are kind. If Anne is kind then Anne is blue. Kind, furry people are smart. If Anne is nice then Anne is furry. If someone is furry then they are smart. If someone is red and furry then they are blue. All furry, red people are smart. If Gary is kind then Gary is blue.
Charlie is round.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule4))] Anne is nice.[(triple3)] Charlie is blue.[(triple4 OR ((triple6 triple5) -> rule6))] Charlie is furry.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8 OR ((triple5) -> rule5) OR ((triple5 triple6) -> rule7))] Fiona is round.[(triple9)] Gary is furry.[(triple10)] @1: Anne is smart.[(((triple2) -> rule5) OR ((((triple3) -> rule4)) -> rule5))] Gary is smart.[(((triple10) -> rule5))]