Anne is smart. Bob is quiet. Bob is smart. Erin is big. Erin is blue. Erin is not cold. Erin is green. If Anne is kind and Anne is green then Anne is not smart. Kind people are quiet. All green, big people are quiet. If Erin is not quiet then Erin is not smart. Smart, cold people are blue. If someone is quiet and not cold then they are blue.
Erin is green.
@0: Anne is smart.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5 OR ((((triple7 triple4) -> rule3) triple6) -> rule6))] Erin is green.[(triple7)] Erin is not cold.[(triple6)] @1: Erin is quiet.[(((triple7 triple4) -> rule3))]