Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is rough. Erin is white. Harry is blue. Harry is cold. Harry is quiet. Harry is rough. If Erin is green then Erin is kind.
Erin is cold.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Erin is kind.[(((triple3) -> rule1))]