Bob is green. Bob is rough. Erin is rough. Erin is young. Fiona is green. Fiona is kind. Fiona is young. Gary is cold. Gary is kind. Gary is rough. If Erin is young then Erin is kind.
Fiona is not kind.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2)] Erin is rough.[(triple3)] Erin is young.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is young.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is rough.[(triple10)] @1: Erin is kind.[(((triple4) -> rule1))]