Charlie is kind. Charlie is rough. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Gary is big. Gary is nice. Gary is rough. If Gary is kind then Gary is white. All nice people are green. All white people are kind. Nice, quiet people are rough. If someone is rough and quiet then they are nice. If someone is big then they are kind.
Gary is not nice.
@0: Charlie is kind.[(triple1)] Charlie is rough.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4 OR ((triple6) -> rule2) OR ((((triple8 triple7) -> rule5)) -> rule2))] Fiona is kind.[(triple5 OR ((triple3) -> rule6) OR ((triple9) -> rule3))] Fiona is nice.[(triple6 OR ((triple8 triple7) -> rule5))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8 OR ((triple6 triple7) -> rule4))] Fiona is white.[(triple9)] Gary is big.[(triple10)] Gary is nice.[(triple11)] Gary is rough.[(triple12)] @1: Gary is green.[(((triple11) -> rule2))] Gary is kind.[(((triple10) -> rule6))] @2: Gary is white.[(((((triple10) -> rule6)) -> rule1))]