Charlie is blue. Charlie is not cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is young. Fiona is big. Fiona is kind. Fiona is rough. Fiona is young. If Charlie is big and Charlie is rough then Charlie is not green. If Fiona is kind then Fiona is young. Blue people are rough.
Charlie is young.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is not cold.[(triple2)] Charlie is rough.[(triple5 OR ((triple1) -> rule3))] Charlie is young.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10 OR ((triple8) -> rule2))]