Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is smart. Bob is white. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. If Bob is furry then Bob is white. If Charlie is furry then Charlie is kind. If Bob is smart and Bob is white then Bob is red. If someone is kind and furry then they are rough. If someone is cold and white then they are furry. Rough, cold people are red. If Bob is furry and Bob is kind then Bob is rough. Red people are white.
Charlie is not red.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1 triple7) -> rule5) OR ((triple1 ((triple4) -> rule8)) -> rule5) OR ((triple1 ((((triple5 triple1) -> rule6)) -> rule8)) -> rule5))] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple5 triple1) -> rule6) OR ((triple6 triple7) -> rule3) OR ((triple6 ((triple2) -> rule1)) -> rule3) OR ((((triple2 triple3) -> rule7) triple1) -> rule6) OR ((((triple3 triple2) -> rule4) triple1) -> rule6) OR ((((triple3 ((triple1 triple7) -> rule5)) -> rule4) triple1) -> rule6) OR ((((((triple1 triple7) -> rule5) triple3) -> rule7) triple1) -> rule6))] Bob is rough.[(triple5 OR ((triple2 triple3) -> rule7) OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple1 triple7) -> rule5)) -> rule4) OR ((((triple1 triple7) -> rule5) triple3) -> rule7) OR ((triple3 ((triple1 ((triple4) -> rule8)) -> rule5)) -> rule4) OR ((((triple1 ((triple4) -> rule8)) -> rule5) triple3) -> rule7))] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple2) -> rule1) OR ((triple4) -> rule8) OR ((((triple5 triple1) -> rule6)) -> rule8) OR ((((((triple2 triple3) -> rule7) triple1) -> rule6)) -> rule8) OR ((((((triple3 triple2) -> rule4) triple1) -> rule6)) -> rule8))] Charlie is cold.[(triple8)] Charlie is furry.[(triple9 OR ((triple8 triple14) -> rule5) OR ((triple8 ((triple11) -> rule8)) -> rule5) OR ((triple8 ((((triple12 triple8) -> rule6)) -> rule8)) -> rule5))] Charlie is kind.[(triple10 OR ((triple9) -> rule2) OR ((((triple8 triple14) -> rule5)) -> rule2) OR ((((triple8 ((triple11) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 ((((triple12 triple8) -> rule6)) -> rule8)) -> rule5)) -> rule2))] Charlie is red.[(triple11 OR ((triple12 triple8) -> rule6) OR ((((triple10 triple9) -> rule4) triple8) -> rule6) OR ((((triple10 ((triple8 triple14) -> rule5)) -> rule4) triple8) -> rule6) OR ((((((triple9) -> rule2) triple9) -> rule4) triple8) -> rule6) OR ((((((triple9) -> rule2) ((triple8 triple14) -> rule5)) -> rule4) triple8) -> rule6) OR ((((((((triple8 triple14) -> rule5)) -> rule2) triple9) -> rule4) triple8) -> rule6) OR ((((((((triple8 triple14) -> rule5)) -> rule2) ((triple8 triple14) -> rule5)) -> rule4) triple8) -> rule6))] Charlie is rough.[(triple12 OR ((triple10 triple9) -> rule4) OR ((triple10 ((triple8 triple14) -> rule5)) -> rule4) OR ((((triple9) -> rule2) triple9) -> rule4) OR ((((triple9) -> rule2) ((triple8 triple14) -> rule5)) -> rule4) OR ((triple10 ((triple8 ((triple11) -> rule8)) -> rule5)) -> rule4) OR ((((((triple8 triple14) -> rule5)) -> rule2) triple9) -> rule4) OR ((((triple9) -> rule2) ((triple8 ((triple11) -> rule8)) -> rule5)) -> rule4) OR ((((((triple8 triple14) -> rule5)) -> rule2) ((triple8 triple14) -> rule5)) -> rule4) OR ((((((triple8 triple14) -> rule5)) -> rule2) ((triple8 ((triple11) -> rule8)) -> rule5)) -> rule4) OR ((((((triple8 ((triple11) -> rule8)) -> rule5)) -> rule2) triple9) -> rule4) OR ((((((triple8 ((triple11) -> rule8)) -> rule5)) -> rule2) ((triple8 triple14) -> rule5)) -> rule4) OR ((((((triple8 ((triple11) -> rule8)) -> rule5)) -> rule2) ((triple8 ((triple11) -> rule8)) -> rule5)) -> rule4))] Charlie is smart.[(triple13)] Charlie is white.[(triple14 OR ((triple11) -> rule8) OR ((((triple12 triple8) -> rule6)) -> rule8) OR ((((((triple10 triple9) -> rule4) triple8) -> rule6)) -> rule8) OR ((((((((triple9) -> rule2) triple9) -> rule4) triple8) -> rule6)) -> rule8))]