Anne is big. Anne is nice. Anne is quiet. Anne is young. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is young. Gary is big. Gary is nice. Gary is round. If someone is kind then they are nice. If Gary is young then Gary is nice. All kind people are green.
Gary is green.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is young.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6 OR ((triple5) -> rule1))] Dave is quiet.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9)] Gary is big.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12)] @1: Dave is green.[(((triple5) -> rule3))]