Anne is cold. Anne is young. Charlie is cold. Erin is big. Fiona is blue. Fiona is red. Fiona is smart. If something is big and young then it is smart. If something is big and red then it is young. All cold things are red. If something is green then it is cold. If Anne is blue and Anne is smart then Anne is young. All smart, young things are green. If something is red and big then it is young. If something is big then it is young.
Erin is cold.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Charlie is cold.[(triple3)] Erin is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is red.[(((triple1) -> rule3))] Charlie is red.[(((triple3) -> rule3))] Erin is young.[(((triple4) -> rule8))] @2: Erin is smart.[(((triple4 ((triple4) -> rule8)) -> rule1))] @3: Erin is green.[(((((triple4 ((triple4) -> rule8)) -> rule1) ((triple4) -> rule8)) -> rule6))] @4: Erin is cold.[(((((((triple4 ((triple4) -> rule8)) -> rule1) ((triple4) -> rule8)) -> rule6)) -> rule4))] @5: Erin is red.[(((((((((triple4 ((triple4) -> rule8)) -> rule1) ((triple4) -> rule8)) -> rule6)) -> rule4)) -> rule3))]