Anne is white. Erin is round. Erin is white. Gary is cold. Gary is round. Harry is furry. Harry is green. Furry, white people are green. Nice people are round. All round, furry people are green. All cold people are white. All cold, rough people are round. All white people are cold. If someone is cold then they are furry. All furry, green people are rough. All round, green people are cold.
Gary is round.
@0: Anne is white.[(triple1)] Erin is round.[(triple2 OR ((((triple3) -> rule6) ((((((triple3) -> rule6)) -> rule7) ((((((triple3) -> rule6)) -> rule7) triple3) -> rule1)) -> rule8)) -> rule5))] Erin is white.[(triple3)] Gary is cold.[(triple4)] Gary is round.[(triple5 OR ((triple4 ((((triple4) -> rule7) ((((triple4) -> rule7) ((triple4) -> rule4)) -> rule1)) -> rule8)) -> rule5))] Harry is furry.[(triple6)] Harry is green.[(triple7)] @1: Anne is cold.[(((triple1) -> rule6))] Erin is cold.[(((triple3) -> rule6))] Gary is furry.[(((triple4) -> rule7))] Gary is white.[(((triple4) -> rule4))] Harry is rough.[(((triple6 triple7) -> rule8))] @2: Anne is furry.[(((((triple1) -> rule6)) -> rule7))] Erin is furry.[(((((triple3) -> rule6)) -> rule7))] Gary is green.[(((triple5 ((triple4) -> rule7)) -> rule3) OR ((((triple4) -> rule7) ((triple4) -> rule4)) -> rule1))] @3: Anne is green.[(((((((triple1) -> rule6)) -> rule7) triple1) -> rule1))] Erin is green.[(((triple2 ((((triple3) -> rule6)) -> rule7)) -> rule3) OR ((((((triple3) -> rule6)) -> rule7) triple3) -> rule1))] Gary is rough.[(((((triple4) -> rule7) ((triple5 ((triple4) -> rule7)) -> rule3)) -> rule8) OR ((((triple4) -> rule7) ((((triple4) -> rule7) ((triple4) -> rule4)) -> rule1)) -> rule8))] @4: Anne is rough.[(((((((triple1) -> rule6)) -> rule7) ((((((triple1) -> rule6)) -> rule7) triple1) -> rule1)) -> rule8))] Erin is rough.[(((((((triple3) -> rule6)) -> rule7) ((triple2 ((((triple3) -> rule6)) -> rule7)) -> rule3)) -> rule8) OR ((((((triple3) -> rule6)) -> rule7) ((((((triple3) -> rule6)) -> rule7) triple3) -> rule1)) -> rule8))] @5: Anne is round.[(((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule7) ((((((triple1) -> rule6)) -> rule7) triple1) -> rule1)) -> rule8)) -> rule5))]