Bob is kind. Charlie is big. Charlie is young. If Charlie is kind then Charlie is red. All kind things are big. If Bob is round and Bob is big then Bob is rough. If something is kind and not big then it is round. All young things are not round. If something is kind and not round then it is rough.
Bob is red.
@0: Bob is kind.[(triple1)] Charlie is big.[(triple2)] Charlie is young.[(triple3)] @1: Bob is big.[(((triple1) -> rule2))] Charlie is not round.[(((triple3) -> rule5))]