Charlie is big. Charlie is blue. Charlie is green. Charlie is rough. Charlie is round. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. If someone is kind and not blue then they are furry. Round people are rough. All round, kind people are green.
Charlie is kind.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is rough.[(triple4 OR ((triple5) -> rule2))] Charlie is round.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple8 OR ((triple10 triple7) -> rule1))] Fiona is green.[(triple9 OR ((triple12 triple10) -> rule3))] Fiona is kind.[(triple10)] Fiona is not blue.[(triple7)] Fiona is rough.[(triple11 OR ((triple12) -> rule2))] Fiona is round.[(triple12)]