Bob is kind. Charlie is quiet. Charlie is rough. Fiona is kind. Fiona is rough. Fiona is white. Gary is nice. If Gary is red and Gary is white then Gary is quiet. All white things are rough. If something is rough then it is red. If something is nice then it is white. All smart things are white. Rough, quiet things are not kind. If something is quiet and not smart then it is kind. Smart things are quiet. If something is smart and not rough then it is quiet.
Charlie is not red.
@0: Bob is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Fiona is kind.[(triple4)] Fiona is rough.[(triple5 OR ((triple6) -> rule2))] Fiona is white.[(triple6)] Gary is nice.[(triple7)] @1: Charlie is not kind.[(((triple3 triple2) -> rule6))] Charlie is red.[(((triple3) -> rule3))] Fiona is red.[(((triple5) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Gary is white.[(((triple7) -> rule4))] @2: Gary is rough.[(((((triple7) -> rule4)) -> rule2))] @3: Gary is red.[(((((((triple7) -> rule4)) -> rule2)) -> rule3))] @4: Gary is quiet.[(((((((((triple7) -> rule4)) -> rule2)) -> rule3) ((triple7) -> rule4)) -> rule1))] @5: Gary is not kind.[(((((((triple7) -> rule4)) -> rule2) ((((((((triple7) -> rule4)) -> rule2)) -> rule3) ((triple7) -> rule4)) -> rule1)) -> rule6))]