Anne is not smart. Bob is rough. Charlie is not big. Gary is smart. White things are not big. Nice things are big. Smart, green things are big. All rough, green things are white. Rough things are nice. If Bob is smart and Bob is not green then Bob is nice.
Bob is not big.
@0: Anne is not smart.[(triple1)] Bob is rough.[(triple2)] Charlie is not big.[(triple3)] Gary is smart.[(triple4)] @1: Bob is nice.[(((triple2) -> rule5))] @2: Bob is big.[(((((triple2) -> rule5)) -> rule2))]