Bob is green. Charlie is green. Gary is nice. If someone is green then they are red. If someone is young then they are quiet. If someone is round then they are green. All red people are green. Blue people are red. All green people are quiet.
Charlie is red.
@0: Bob is green.[(triple1)] Charlie is green.[(triple2)] Gary is nice.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule6))] Bob is red.[(((triple1) -> rule1))] Charlie is quiet.[(((triple2) -> rule6))] Charlie is red.[(((triple2) -> rule1))]