Dave is quiet. Dave is smart. Erin is big. Erin is quiet. Erin is young. Harry is big. Harry is green. Harry is quiet. Harry is smart. Harry is white. If someone is big then they are green. All young, quiet people are smart.
Erin is big.
@0: Dave is quiet.[(triple1)] Dave is smart.[(triple2)] Erin is big.[(triple3)] Erin is quiet.[(triple4)] Erin is young.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7 OR ((triple6) -> rule1))] Harry is quiet.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Erin is green.[(((triple3) -> rule1))] Erin is smart.[(((triple5 triple4) -> rule2))]