Bob is rough. Charlie is kind. Charlie is rough. Erin is red. Erin is rough. Erin is white. Gary is green. Gary is red. Gary is smart. Gary is white. If someone is smart then they are red. All furry people are red. Kind people are red. If someone is red and white then they are kind. Furry, rough people are green. All kind people are furry. If someone is white then they are red. Rough people are white.
Bob is not smart.
@0: Bob is rough.[(triple1)] Charlie is kind.[(triple2 OR ((((((triple3) -> rule8)) -> rule7) ((triple3) -> rule8)) -> rule4))] Charlie is rough.[(triple3)] Erin is red.[(triple4 OR ((triple6) -> rule7) OR ((((triple5) -> rule8)) -> rule7))] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple5) -> rule8))] Gary is green.[(triple7)] Gary is red.[(triple8 OR ((triple10) -> rule7) OR ((triple9) -> rule1))] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Bob is white.[(((triple1) -> rule8))] Charlie is furry.[(((triple2) -> rule6) OR ((((((((triple3) -> rule8)) -> rule7) ((triple3) -> rule8)) -> rule4)) -> rule6))] Charlie is red.[(((triple2) -> rule3) OR ((((triple2) -> rule6)) -> rule2) OR ((((triple3) -> rule8)) -> rule7))] Charlie is white.[(((triple3) -> rule8))] Erin is kind.[(((triple4 triple6) -> rule4) OR ((triple4 ((triple5) -> rule8)) -> rule4) OR ((((triple6) -> rule7) triple6) -> rule4) OR ((((triple6) -> rule7) ((triple5) -> rule8)) -> rule4) OR ((((((triple5) -> rule8)) -> rule7) triple6) -> rule4) OR ((((((triple5) -> rule8)) -> rule7) ((triple5) -> rule8)) -> rule4))] Gary is kind.[(((triple8 triple10) -> rule4) OR ((((triple10) -> rule7) triple10) -> rule4) OR ((((triple9) -> rule1) triple10) -> rule4))] @2: Bob is red.[(((((triple1) -> rule8)) -> rule7))] Charlie is green.[(((((triple2) -> rule6) triple3) -> rule5) OR ((((((((((triple3) -> rule8)) -> rule7) ((triple3) -> rule8)) -> rule4)) -> rule6) triple3) -> rule5))] Erin is furry.[(((((triple4 triple6) -> rule4)) -> rule6) OR ((((triple4 ((triple5) -> rule8)) -> rule4)) -> rule6) OR ((((((triple6) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule7) ((triple5) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule8)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple5) -> rule8)) -> rule7) ((triple5) -> rule8)) -> rule4)) -> rule6))] Gary is furry.[(((((triple8 triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule7) triple10) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple10) -> rule4)) -> rule6))] @3: Bob is kind.[(((((((triple1) -> rule8)) -> rule7) ((triple1) -> rule8)) -> rule4))] Erin is green.[(((((((triple4 triple6) -> rule4)) -> rule6) triple5) -> rule5) OR ((((((triple4 ((triple5) -> rule8)) -> rule4)) -> rule6) triple5) -> rule5) OR ((((((((triple6) -> rule7) triple6) -> rule4)) -> rule6) triple5) -> rule5) OR ((((((((triple6) -> rule7) ((triple5) -> rule8)) -> rule4)) -> rule6) triple5) -> rule5) OR ((((((((((triple5) -> rule8)) -> rule7) triple6) -> rule4)) -> rule6) triple5) -> rule5) OR ((((((((((triple5) -> rule8)) -> rule7) ((triple5) -> rule8)) -> rule4)) -> rule6) triple5) -> rule5))] @4: Bob is furry.[(((((((((triple1) -> rule8)) -> rule7) ((triple1) -> rule8)) -> rule4)) -> rule6))] @5: Bob is green.[(((((((((((triple1) -> rule8)) -> rule7) ((triple1) -> rule8)) -> rule4)) -> rule6) triple1) -> rule5))]