Anne is rough. Anne is white. Charlie is furry. Charlie is rough. Charlie is white. Charlie is young. Erin is cold. Erin is kind. Erin is rough. Erin is white. Gary is furry. Gary is rough. Red, furry people are rough. All cold people are furry. If someone is rough and red then they are furry. Furry people are red. Cold people are rough. All rough people are cold. If Charlie is furry then Charlie is rough. All cold, furry people are white.
Anne is white.
@0: Anne is rough.[(triple1)] Anne is white.[(triple2 OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule8))] Charlie is furry.[(triple3 OR ((((triple4) -> rule6)) -> rule2))] Charlie is rough.[(triple4 OR ((triple3) -> rule7) OR ((((triple3) -> rule4) triple3) -> rule1))] Charlie is white.[(triple5 OR ((((triple4) -> rule6) triple3) -> rule8) OR ((((((triple3) -> rule7)) -> rule6) triple3) -> rule8) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule8) OR ((((((triple3) -> rule7)) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule4) triple3) -> rule1)) -> rule6) triple3) -> rule8) OR ((((((((triple3) -> rule4) triple3) -> rule1)) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule8))] Charlie is young.[(triple6)] Erin is cold.[(triple7 OR ((triple9) -> rule6))] Erin is kind.[(triple8)] Erin is rough.[(triple9 OR ((triple7) -> rule5) OR ((((((triple7) -> rule2)) -> rule4) ((triple7) -> rule2)) -> rule1))] Erin is white.[(triple10 OR ((triple7 ((triple7) -> rule2)) -> rule8) OR ((((triple9) -> rule6) ((triple7) -> rule2)) -> rule8) OR ((triple7 ((((triple9) -> rule6)) -> rule2)) -> rule8) OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule8))] Gary is furry.[(triple11 OR ((((triple12) -> rule6)) -> rule2))] Gary is rough.[(triple12 OR ((((triple11) -> rule4) triple11) -> rule1))] @1: Anne is cold.[(((triple1) -> rule6))] Charlie is cold.[(((triple4) -> rule6) OR ((((triple3) -> rule7)) -> rule6) OR ((((((triple3) -> rule4) triple3) -> rule1)) -> rule6))] Charlie is red.[(((triple3) -> rule4) OR ((((((triple4) -> rule6)) -> rule2)) -> rule4))] Erin is furry.[(((triple7) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] Gary is cold.[(((triple12) -> rule6) OR ((((((triple11) -> rule4) triple11) -> rule1)) -> rule6))] Gary is red.[(((triple11) -> rule4) OR ((((((triple12) -> rule6)) -> rule2)) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule6)) -> rule2))] Erin is red.[(((((triple7) -> rule2)) -> rule4) OR ((((((triple9) -> rule6)) -> rule2)) -> rule4))] Gary is white.[(((((triple12) -> rule6) triple11) -> rule8) OR ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule2)) -> rule8) OR ((((((((triple11) -> rule4) triple11) -> rule1)) -> rule6) triple11) -> rule8) OR ((((((((triple11) -> rule4) triple11) -> rule1)) -> rule6) ((((triple12) -> rule6)) -> rule2)) -> rule8))] @3: Anne is red.[(((((((triple1) -> rule6)) -> rule2)) -> rule4))]