Charlie is furry. Erin is furry. Erin is green. Erin is red. Fiona is green. Fiona is rough. Gary is red. If someone is rough and kind then they are red. Cold, furry people are red. If Gary is green then Gary is rough. Furry people are blue. Rough people are kind. Kind people are furry. All kind people are furry. Green people are cold.
Charlie is not rough.
@0: Charlie is furry.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4 OR ((((triple3) -> rule8) triple2) -> rule2))] Fiona is green.[(triple5)] Fiona is rough.[(triple6)] Gary is red.[(triple7)] @1: Charlie is blue.[(((triple1) -> rule4))] Erin is blue.[(((triple2) -> rule4))] Erin is cold.[(((triple3) -> rule8))] Fiona is cold.[(((triple5) -> rule8))] Fiona is kind.[(((triple6) -> rule5))] @2: Fiona is furry.[(((((triple6) -> rule5)) -> rule6) OR ((((triple6) -> rule5)) -> rule7))] Fiona is red.[(((triple6 ((triple6) -> rule5)) -> rule1) OR ((((triple5) -> rule8) ((((triple6) -> rule5)) -> rule6)) -> rule2) OR ((((triple5) -> rule8) ((((triple6) -> rule5)) -> rule7)) -> rule2))] @3: Fiona is blue.[(((((((triple6) -> rule5)) -> rule6)) -> rule4) OR ((((((triple6) -> rule5)) -> rule7)) -> rule4))]