Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. If someone is young and green then they are quiet. If someone is red then they are blue.
Charlie is blue.
@0: Charlie is blue.[(triple1 OR ((triple5) -> rule2))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is quiet.[(triple4 OR ((triple7 triple3) -> rule1))] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple12) -> rule2))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11 OR ((triple14 triple10) -> rule1))] Fiona is red.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]