Anne is cold. Anne is furry. Anne is rough. Anne is round. Anne is smart. Anne is young. Charlie is cold. Charlie is furry. Charlie is rough. Charlie is smart. Charlie is young. Erin is young. Gary is rough. Gary is smart. Nice, smart people are cold. If someone is cold then they are smart. Rough people are cold. All nice, rough people are smart. Cold people are nice. Young people are smart. Nice people are furry. All smart people are rough. Cold, round people are furry.
Gary is not round.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule3) OR ((((triple5) -> rule8)) -> rule3) OR ((((((triple6) -> rule6)) -> rule8)) -> rule3))] Anne is furry.[(triple2 OR ((triple1 triple4) -> rule9) OR ((((triple1) -> rule5)) -> rule7) OR ((((triple3) -> rule3) triple4) -> rule9) OR ((((((triple3) -> rule3)) -> rule5)) -> rule7) OR ((((((triple5) -> rule8)) -> rule3) triple4) -> rule9) OR ((((((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule6)) -> rule8)) -> rule3) triple4) -> rule9) OR ((((((((((triple6) -> rule6)) -> rule8)) -> rule3)) -> rule5)) -> rule7))] Anne is rough.[(triple3 OR ((triple5) -> rule8) OR ((((triple1) -> rule2)) -> rule8) OR ((((triple6) -> rule6)) -> rule8))] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple1) -> rule2) OR ((triple6) -> rule6) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple1) -> rule5) triple3) -> rule4) OR ((((((triple3) -> rule3)) -> rule5) triple3) -> rule4))] Anne is young.[(triple6)] Charlie is cold.[(triple7 OR ((triple9) -> rule3) OR ((((triple10) -> rule8)) -> rule3) OR ((((((triple11) -> rule6)) -> rule8)) -> rule3))] Charlie is furry.[(triple8 OR ((((triple7) -> rule5)) -> rule7) OR ((((((triple9) -> rule3)) -> rule5)) -> rule7) OR ((((((((triple10) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((((((triple11) -> rule6)) -> rule8)) -> rule3)) -> rule5)) -> rule7))] Charlie is rough.[(triple9 OR ((triple10) -> rule8) OR ((((triple11) -> rule6)) -> rule8) OR ((((triple7) -> rule2)) -> rule8))] Charlie is smart.[(triple10 OR ((triple11) -> rule6) OR ((triple7) -> rule2) OR ((((triple9) -> rule3)) -> rule2) OR ((((triple7) -> rule5) triple9) -> rule4) OR ((((((triple9) -> rule3)) -> rule5) triple9) -> rule4))] Charlie is young.[(triple11)] Erin is young.[(triple12)] Gary is rough.[(triple13 OR ((triple14) -> rule8))] Gary is smart.[(triple14 OR ((((triple13) -> rule3)) -> rule2) OR ((((((triple13) -> rule3)) -> rule5) triple13) -> rule4))] @1: Anne is nice.[(((triple1) -> rule5) OR ((((triple3) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple6) -> rule6)) -> rule8)) -> rule3)) -> rule5))] Charlie is nice.[(((triple7) -> rule5) OR ((((triple9) -> rule3)) -> rule5) OR ((((((triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8)) -> rule3)) -> rule5))] Erin is smart.[(((triple12) -> rule6))] Gary is cold.[(((triple13) -> rule3) OR ((((triple14) -> rule8)) -> rule3))] @2: Erin is rough.[(((((triple12) -> rule6)) -> rule8))] Gary is nice.[(((((triple13) -> rule3)) -> rule5) OR ((((((triple14) -> rule8)) -> rule3)) -> rule5))] @3: Erin is cold.[(((((((triple12) -> rule6)) -> rule8)) -> rule3))] Gary is furry.[(((((((triple13) -> rule3)) -> rule5)) -> rule7) OR ((((((((triple14) -> rule8)) -> rule3)) -> rule5)) -> rule7))] @4: Erin is nice.[(((((((((triple12) -> rule6)) -> rule8)) -> rule3)) -> rule5))] @5: Erin is furry.[(((((((((((triple12) -> rule6)) -> rule8)) -> rule3)) -> rule5)) -> rule7))]