Erin is kind. Erin is quiet. Fiona is big. If something is kind and not big then it is cold. All kind things are cold. If something is rough and big then it is not nice. All green things are not quiet. If Erin is nice and Erin is green then Erin is rough. All kind, quiet things are rough.
Fiona is big.
@0: Erin is kind.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3)] @1: Erin is cold.[(((triple1) -> rule2))] Erin is rough.[(((triple1 triple2) -> rule6))]