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