Anne is blue. Anne is furry. Anne is green. Anne is quiet. Bob is quiet. Bob is red. Charlie is green. Charlie is kind. Charlie is quiet. Fiona is blue. Fiona is kind. Fiona is quiet. If Charlie is kind and Charlie is green then Charlie is quiet.
Charlie is green.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9 OR ((triple8 triple7) -> rule1))] Fiona is blue.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)]