Bob is red. Charlie is not blue. Gary is nice. If Bob is red then Bob is rough. If something is rough then it is big. If something is blue and not red then it is not big. If Gary is young then Gary is not smart. If Bob is big then Bob is smart. If something is young and red then it is not blue.
Bob is not big.
@0: Bob is red.[(triple1)] Charlie is not blue.[(triple2)] Gary is nice.[(triple3)] @1: Bob is rough.[(((triple1) -> rule1))] @2: Bob is big.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is smart.[(((((((triple1) -> rule1)) -> rule2)) -> rule5))]