Charlie is rough. Gary is red. Gary is smart. All big things are rough. Nice things are white. If something is white then it is not green. If something is rough then it is nice. If something is nice then it is red. If something is white and not rough then it is red.
Charlie is big.
@0: Charlie is rough.[(triple1)] Gary is red.[(triple2)] Gary is smart.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule4))] @2: Charlie is red.[(((((triple1) -> rule4)) -> rule5))] Charlie is white.[(((((triple1) -> rule4)) -> rule2))] @3: Charlie is not green.[(((((((triple1) -> rule4)) -> rule2)) -> rule3))]