Bob is green. Charlie is big. Dave is big. If something is smart then it is red. All red things are rough. If something is big then it is rough. Big, green things are smart. Rough things are white. If something is green then it is kind. If something is kind then it is rough. If Charlie is kind then Charlie is green.
Charlie is not rough.
@0: Bob is green.[(triple1)] Charlie is big.[(triple2)] Dave is big.[(triple3)] @1: Bob is kind.[(((triple1) -> rule6))] Charlie is rough.[(((triple2) -> rule3))] Dave is rough.[(((triple3) -> rule3))] @2: Bob is rough.[(((((triple1) -> rule6)) -> rule7))] Charlie is white.[(((((triple2) -> rule3)) -> rule5))] Dave is white.[(((((triple3) -> rule3)) -> rule5))] @3: Bob is white.[(((((((triple1) -> rule6)) -> rule7)) -> rule5))]