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