Anne is big. Anne is furry. Charlie is cold. Charlie is furry. Charlie is green. Dave is blue. Dave is furry. Dave is quiet. Gary is big. Gary is blue. Gary is quiet. Gary is red. If someone is furry then they are quiet.
Gary is blue.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is quiet.[(triple8 OR ((triple7) -> rule1))] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] @1: Anne is quiet.[(((triple2) -> rule1))] Charlie is quiet.[(((triple4) -> rule1))]