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