Bob is kind. Bob is nice. Bob is rough. Charlie is blue. Charlie is not quiet. Charlie is round. Charlie is young. If something is round then it is young. All kind, rough things are round. Round, quiet things are rough.
Bob is blue.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is rough.[(triple3)] Charlie is blue.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule1))] @1: Bob is round.[(((triple1 triple3) -> rule2))] @2: Bob is young.[(((((triple1 triple3) -> rule2)) -> rule1))]