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