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