Erin is young. Fiona is blue. Fiona is young. If Erin is smart and Erin is red then Erin is big. All blue people are smart. If someone is blue then they are quiet. If someone is quiet then they are red. If Erin is blue and Erin is young then Erin is red. All red people are big.
Fiona is not red.
@0: Erin is young.[(triple1)] Fiona is blue.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule3))] Fiona is smart.[(((triple2) -> rule2))] @2: Fiona is red.[(((((triple2) -> rule3)) -> rule4))] @3: Fiona is big.[(((((((triple2) -> rule3)) -> rule4)) -> rule6))]