Bob is blue. Charlie is cold. Charlie is round. If Bob is cold then Bob is young. All young people are blue. If someone is round and furry then they are young. All furry people are round. If Bob is nice then Bob is rough. All round people are furry.
Charlie is furry.
@0: Bob is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] @1: Charlie is furry.[(((triple3) -> rule6))] @2: Charlie is young.[(((triple3 ((triple3) -> rule6)) -> rule3))] @3: Charlie is blue.[(((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2))]