Anne is rough. Bob is rough. Erin is big. Harry is rough. If someone is kind then they are rough. If someone is kind and white then they are green. If Anne is green and Anne is white then Anne is rough. Rough people are green. If someone is big and green then they are white. All young, rough people are big.
Erin is green.
@0: Anne is rough.[(triple1)] Bob is rough.[(triple2)] Erin is big.[(triple3)] Harry is rough.[(triple4)] @1: Anne is green.[(((triple1) -> rule4))] Bob is green.[(((triple2) -> rule4))] Harry is green.[(((triple4) -> rule4))]