Anne is cold. Anne is kind. Anne is round. Anne is smart. Anne is young. Erin is cold. Erin is round. Erin is smart. Gary is cold. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. Harry is cold. If someone is kind then they are round. Young, cold people are white. All white people are young. All cold people are white. All round people are smart. If someone is young and cold then they are kind. All round people are kind. All young people are rough.
Erin is kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple3) -> rule7) OR ((triple5 triple1) -> rule6) OR ((((((triple1) -> rule4)) -> rule3) triple1) -> rule6))] Anne is round.[(triple3 OR ((triple2) -> rule1) OR ((((triple5 triple1) -> rule6)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule3) triple1) -> rule6)) -> rule1))] Anne is smart.[(triple4 OR ((triple3) -> rule5) OR ((((triple2) -> rule1)) -> rule5) OR ((((((triple5 triple1) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule3) triple1) -> rule6)) -> rule1)) -> rule5))] Anne is young.[(triple5 OR ((((triple1) -> rule4)) -> rule3))] Erin is cold.[(triple6)] Erin is round.[(triple7 OR ((((((((triple6) -> rule4)) -> rule3) triple6) -> rule6)) -> rule1))] Erin is smart.[(triple8 OR ((triple7) -> rule5) OR ((((((((((triple6) -> rule4)) -> rule3) triple6) -> rule6)) -> rule1)) -> rule5))] Gary is cold.[(triple9)] Gary is kind.[(triple10 OR ((triple12) -> rule7) OR ((triple15 triple9) -> rule6) OR ((((triple14) -> rule3) triple9) -> rule6) OR ((((((triple9) -> rule4)) -> rule3) triple9) -> rule6))] Gary is rough.[(triple11 OR ((triple15) -> rule8) OR ((((triple14) -> rule3)) -> rule8) OR ((((((triple9) -> rule4)) -> rule3)) -> rule8))] Gary is round.[(triple12 OR ((triple10) -> rule1) OR ((((triple15 triple9) -> rule6)) -> rule1) OR ((((((triple14) -> rule3) triple9) -> rule6)) -> rule1) OR ((((((((triple9) -> rule4)) -> rule3) triple9) -> rule6)) -> rule1))] Gary is smart.[(triple13 OR ((triple12) -> rule5) OR ((((triple10) -> rule1)) -> rule5) OR ((((((triple15 triple9) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple14) -> rule3) triple9) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple9) -> rule4)) -> rule3) triple9) -> rule6)) -> rule1)) -> rule5))] Gary is white.[(triple14 OR ((triple9) -> rule4) OR ((triple15 triple9) -> rule2))] Gary is young.[(triple15 OR ((triple14) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] Harry is cold.[(triple16)] @1: Anne is rough.[(((triple5) -> rule8) OR ((((((triple1) -> rule4)) -> rule3)) -> rule8))] Anne is white.[(((triple1) -> rule4) OR ((triple5 triple1) -> rule2))] Erin is kind.[(((triple7) -> rule7) OR ((((((triple6) -> rule4)) -> rule3) triple6) -> rule6))] Erin is white.[(((triple6) -> rule4))] Harry is white.[(((triple16) -> rule4))] @2: Erin is young.[(((((triple6) -> rule4)) -> rule3))] Harry is young.[(((((triple16) -> rule4)) -> rule3))] @3: Erin is rough.[(((((((triple6) -> rule4)) -> rule3)) -> rule8))] Harry is kind.[(((((((triple16) -> rule4)) -> rule3) triple16) -> rule6))] Harry is rough.[(((((((triple16) -> rule4)) -> rule3)) -> rule8))] @4: Harry is round.[(((((((((triple16) -> rule4)) -> rule3) triple16) -> rule6)) -> rule1))] @5: Harry is smart.[(((((((((((triple16) -> rule4)) -> rule3) triple16) -> rule6)) -> rule1)) -> rule5))]