Bob is rough. Charlie is kind. Charlie is not nice. Charlie is red. Charlie is white. Dave is kind. Dave is quiet. Erin is not green. Erin is nice. Erin is quiet. All rough things are kind. White, rough things are kind. If Dave is nice and Dave is green then Dave is not rough. Kind, rough things are white. If something is white then it is not green. If something is kind and nice then it is green. If something is nice and red then it is quiet. If Charlie is red then Charlie is white.
Bob is not kind.
@0: Bob is rough.[(triple1)] Charlie is kind.[(triple2)] Charlie is not nice.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5 OR ((triple4) -> rule8))] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] Erin is nice.[(triple9)] Erin is not green.[(triple8)] Erin is quiet.[(triple10)] @1: Bob is kind.[(((triple1) -> rule1))] Charlie is not green.[(((triple5) -> rule5) OR ((((triple4) -> rule8)) -> rule5))] @2: Bob is white.[(((((triple1) -> rule1) triple1) -> rule4))] @3: Bob is not green.[(((((((triple1) -> rule1) triple1) -> rule4)) -> rule5))]