Anne is white. Erin is white. Gary is cold. All furry, white people are nice. All round, blue people are cold. If someone is furry then they are blue. All blue people are furry. All blue people are nice. All white people are blue. All nice, white people are kind. If someone is nice then they are white.
Anne is nice.
@0: Anne is white.[(triple1)] Erin is white.[(triple2)] Gary is cold.[(triple3)] @1: Anne is blue.[(((triple1) -> rule6))] Erin is blue.[(((triple2) -> rule6))] @2: Anne is furry.[(((((triple1) -> rule6)) -> rule4))] Anne is nice.[(((((triple1) -> rule6)) -> rule5) OR ((((((triple1) -> rule6)) -> rule4) triple1) -> rule1))] Erin is furry.[(((((triple2) -> rule6)) -> rule4))] Erin is nice.[(((((triple2) -> rule6)) -> rule5) OR ((((((triple2) -> rule6)) -> rule4) triple2) -> rule1))] @3: Anne is kind.[(((((((triple1) -> rule6)) -> rule5) triple1) -> rule7) OR ((((((((triple1) -> rule6)) -> rule4) triple1) -> rule1) triple1) -> rule7))] Erin is kind.[(((((((triple2) -> rule6)) -> rule5) triple2) -> rule7) OR ((((((((triple2) -> rule6)) -> rule4) triple2) -> rule1) triple2) -> rule7))]