Bob is kind. Bob is red. Bob is rough. Charlie is kind. Charlie is young. Erin is red. Erin is white. Fiona is big. Fiona is green. Fiona is rough. Red things are green.
Charlie is not green.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Charlie is kind.[(triple4)] Charlie is young.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7)] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is rough.[(triple10)] @1: Bob is green.[(((triple2) -> rule1))] Erin is green.[(((triple6) -> rule1))]