Anne is blue. Anne is furry. Anne is kind. Anne is red. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is young. Erin is kind. Erin is nice. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Kind things are blue. Kind, red things are blue.
Anne is quiet.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule1) OR ((triple3 triple4) -> rule2))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Charlie is blue.[(triple5 OR ((triple7) -> rule1))] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8)] Charlie is young.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Fiona is blue.[(triple12 OR ((triple14) -> rule1))] Fiona is furry.[(triple13)] Fiona is kind.[(triple14)] Fiona is nice.[(triple15)] Fiona is quiet.[(triple16)] @1: Erin is blue.[(((triple10) -> rule1))]