Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is smart. Erin is young. If Erin is young and Erin is smart then Erin is quiet. All young things are quiet. If something is blue and cold then it is smart.
Erin is quiet.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple7) -> rule2) OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple2 triple3) -> rule3)) -> rule1))] Erin is smart.[(triple6 OR ((triple2 triple3) -> rule3))] Erin is young.[(triple7)]