Anne is round. Bob is not round. Erin is green. If Bob is green then Bob is not round. If Erin is green then Erin is quiet. If Anne is blue and Anne is red then Anne is not cold. If something is big and round then it is green. Blue things are round. If something is green then it is round.
Bob is blue.
@0: Anne is round.[(triple1)] Bob is not round.[(triple2)] Erin is green.[(triple3)] @1: Erin is quiet.[(((triple3) -> rule2))] Erin is round.[(((triple3) -> rule6))]