Anne is cold. Anne is furry. Anne is rough. Anne is white. Anne is young. Bob is cold. Bob is furry. Bob is round. Bob is white. Bob is young. Gary is cold. Gary is furry. Gary is red. Gary is round. Gary is white. Gary is young. If something is red then it is white. Young, rough things are red. Round things are young. Cold things are young. All rough things are cold. Rough things are round. All young things are furry. If Bob is furry then Bob is white.
Bob is not red.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule5))] Anne is furry.[(triple2 OR ((triple5) -> rule7) OR ((((triple1) -> rule4)) -> rule7) OR ((((((triple3) -> rule5)) -> rule4)) -> rule7) OR ((((((triple3) -> rule6)) -> rule3)) -> rule7))] Anne is rough.[(triple3)] Anne is white.[(triple4 OR ((((triple5 triple3) -> rule2)) -> rule1) OR ((((((triple1) -> rule4) triple3) -> rule2)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule4) triple3) -> rule2)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule3) triple3) -> rule2)) -> rule1))] Anne is young.[(triple5 OR ((triple1) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((triple3) -> rule6)) -> rule3))] Bob is cold.[(triple6)] Bob is furry.[(triple7 OR ((triple10) -> rule7) OR ((((triple6) -> rule4)) -> rule7) OR ((((triple8) -> rule3)) -> rule7))] Bob is round.[(triple8)] Bob is white.[(triple9 OR ((triple7) -> rule8) OR ((((triple10) -> rule7)) -> rule8) OR ((((((triple6) -> rule4)) -> rule7)) -> rule8) OR ((((((triple8) -> rule3)) -> rule7)) -> rule8))] Bob is young.[(triple10 OR ((triple6) -> rule4) OR ((triple8) -> rule3))] Gary is cold.[(triple11)] Gary is furry.[(triple12 OR ((triple16) -> rule7) OR ((((triple11) -> rule4)) -> rule7) OR ((((triple14) -> rule3)) -> rule7))] Gary is red.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15 OR ((triple13) -> rule1))] Gary is young.[(triple16 OR ((triple11) -> rule4) OR ((triple14) -> rule3))] @1: Anne is red.[(((triple5 triple3) -> rule2) OR ((((triple1) -> rule4) triple3) -> rule2) OR ((((((triple3) -> rule5)) -> rule4) triple3) -> rule2) OR ((((((triple3) -> rule6)) -> rule3) triple3) -> rule2))] Anne is round.[(((triple3) -> rule6))]