Anne is quiet. Erin is big. Erin is cold. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is young. Harry is cold. Harry is smart. Young, cold people are smart. All round, quiet people are red.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Erin is big.[(triple2)] Erin is cold.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5 OR ((triple6 triple4) -> rule2))] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple8 triple3) -> rule1))] Erin is young.[(triple8)] Harry is cold.[(triple9)] Harry is smart.[(triple10)]