Bob is rough. Charlie is big. Gary is kind. All furry things are rough. All big things are rough. If something is nice and not cold then it is not rough. Rough things are nice. All nice, big things are red. If something is cold and not kind then it is red.
Gary is not red.
@0: Bob is rough.[(triple1)] Charlie is big.[(triple2)] Gary is kind.[(triple3)] @1: Bob is nice.[(((triple1) -> rule4))] Charlie is rough.[(((triple2) -> rule2))] @2: Charlie is nice.[(((((triple2) -> rule2)) -> rule4))] @3: Charlie is red.[(((((((triple2) -> rule2)) -> rule4) triple2) -> rule5))]