Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is round. Gary is big. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is round. Gary is young. If Gary is not quiet then Gary is furry. If someone is quiet then they are furry. Green, quiet people are nice.
Dave is young.
@0: Dave is furry.[(triple1 OR ((triple4) -> rule2))] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple2 triple4) -> rule3))] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7 OR ((triple10) -> rule2))] Gary is green.[(triple8)] Gary is nice.[(triple9 OR ((triple8 triple10) -> rule3))] Gary is quiet.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)]